An efficient method to generate feasible paths for basis path testing

DOI10.1016/J.IPL.2008.01.007MaRDI QIDQ963407zbMATH OpenOpenAlexFDO

Authors Jun Yan, Jian Zhang

Publication date 19 April 2010

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2008.01.007

zbMATH Keywords

software engineeringtest data generationbasis path testingpath feasibility

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Automatic generation of basis test paths using variable length genetic algorithm
• Improved method to generate path-wise test data
• scientific article; zbMATH DE number 13941
• Path-based automatic test data generation approach
• Communication mechanism designed for distributed intrusion detection system

Cites work

• A Complexity Measure
• Symbolic execution and program testing

Cited in

(9)

• Structural Statistical Software Testing with Active Learning in a Graph
• Improved method to generate path-wise test data
• Path-based automatic test data generation approach
• Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method
• Automatic generation of basis test paths using variable length genetic algorithm
• Analysis of the infeasible path based on key branch
• scientific article; zbMATH DE number 13941 (Why is no real title available?)
• On the use of meta-heuristic algorithms for automated test suite generation in software testing
• Automated generation of test paths for Fortran programs

Describes a project that uses

Uses Software

• PathCrawler

This page was built for publication: An efficient method to generate feasible paths for basis path testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q963407)