The Path Prefix Software Testing Strategy
IEEE Transactions on Software Engineering
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
A simplified domain-testing strategy
ACM Transactions on Software Engineering and Methodology (TOSEM)
ADTEST: A Test Data Generation Suite for Ada Software Systems
IEEE Transactions on Software Engineering
Solving Constraints over Floating-Point Numbers
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
CC '02 Proceedings of the 11th International Conference on Compiler Construction
A CLP Framework for Computing Structural Test Data
CL '00 Proceedings of the First International Conference on Computational Logic
Automated Software Test Data Generation for Complex Programs
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Test Sequences Generation from LUSTRE Descriptions: GATEL
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
A New Way of Automating Statistical Testing Methods
Proceedings of the 16th IEEE international conference on Automated software engineering
Consistency techniques for interprocedural test data generation
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
On-the-Fly Generation of K-Path Tests for C Functions
Proceedings of the 19th IEEE international conference on Automated software engineering
An efficient method to generate feasible paths for basis path testing
Information Processing Letters
Modelling dynamic memory management in constraint-based testing
Journal of Systems and Software
Information flow testing: the third path towards confidentiality guarantee
ASIAN'07 Proceedings of the 12th Asian computing science conference on Advances in computer science: computer and network security
Abstract path testing with PathCrawler
Proceedings of the 5th Workshop on Automation of Software Test
SUDS: an infrastructure for creating dynamic software defect detection tools
Automated Software Engineering
Mutation-driven generation of unit tests and oracles
Proceedings of the 19th international symposium on Software testing and analysis
A uniform random test data generator for path testing
Journal of Systems and Software
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Journal of Systems and Software
Improving the floating point addition and subtraction constraints
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Handling State-Machines Specifications with GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating parameterized unit tests
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Checking models, proving programs, and testing systems
TAP'11 Proceedings of the 5th international conference on Tests and proofs
The sante tool: value analysis, program slicing and test generation for C program debugging
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Program slicing enhances a verification technique combining static and dynamic analysis
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A lesson on structural testing with pathcrawler-online.com
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Program extrapolation with jennisys
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Frama-C: a software analysis perspective
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Behind the scenes in SANTE: a combination of static and dynamic analyses
Automated Software Engineering
Hi-index | 0.00 |
We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number of loop iterations in the covered paths. The prototype treats C code and we illustrate the test-case generation process on a representative example of a C function containing data-structures of variable dimensions, loops with variable numbers of iterations and many infeasible paths. PathCrawler is based on a novel combination of code instrumentation and constraint solving which makes it both efficient and open to extension. It suffers neither from the approximations and complexity of static analysis, nor from the number of executions demanded by the use of heuristic algorithms in function minimisation and the possibility that they fail to find a solution. We believe that it demonstrates the feasibility of rigorous and systematic testing of sequential programs coded in imperative languages.