ATGen: Automatic test data generation using constraint logic programming and symbolic execution

Software Testing Verification and Reliability

Volumn 11, Issue 2, 2001, Pages 81-96

  Meudec, Christophe ^a  

^a Ireland   (Ireland)

Author keywords

Automatic test data generation; Constraint logic programming; Software testing; Symbolic execution

Indexed keywords

AUTOMATIC TESTING; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONSTRAINT THEORY; LOGIC PROGRAMMING;

AUTOMATIC TEST GENERATION; CONSTRAINT LOGIC PROGRAMMING; SOFTWARE TESTING; SYMBOLIC EXECUTION;

SOFTWARE ENGINEERING;

EID: 0035360360     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/stvr.225     Document Type: Article

References (33)

1. Testing-A challenge to method and tool developers
2. Revisiting symbolic execution
3. Symbolic execution and program testing
4. Symbolic execution and testing
5. ADTEST: A test data generation suite for Ada software systems
6. Automated program flaw finding using simulated annealing
7. Automated test data generation for programs with procedures
8. Constraint-based automatic test data generation
9. ATGen: Automatic test data generation using constraint logic programming
10. PREfix Automated code reviewer
11. Applications of symbolic evaluation
12. Test data generation and feasible path analysis
13. Symbolic execution systems-A review
14. On the automated generation of program test data
15. Team: A support environment for testing, evaluation and analysis
16. Applications of feasible path analysis to program testing
17. The dynamic domain reduction procedure for test data generation
18. The many paths to satisfaction
19. Implementing prototype testing tools
20. Constraint logic programming
21. An introduction to Prolog III
22. Constraint logic programming languages