A CLP framework for computing structural test data

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 399-413

  Gotlieb, Arnaud ^a   Botella, Bernard ^a   Rueher, Michel ^b  

^a THALES   (France)

^b UNIVERSITÉ CÔTE D'AZUR   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AD HOC METHODS; AUTOMATICALLY TEST; CONSTRAINT SYSTEMS; INPUT VALUES; NON-TRIVIAL; PROTOTYPE SYSTEM; REAL APPLICATIONS; SPECIFIC OPERATORS; STRUCTURAL TESTING; STRUCTURAL TESTS; TEST DATA; UNIT TESTING;

C (PROGRAMMING LANGUAGE); LOGIC PROGRAMMING; TESTING;

TEST FACILITIES;

EID: 84867774913     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_27     Document Type: Conference Paper

References (10)

1. Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. E-cently Computing Static Single Assignment Form and the Control Dependence Graph. Transactions on Programming Lan-guages and Systems, 13(4):451-490, October 1991.
2. R. A. Demillo and A. J. O-ut. Experimental Results from an Automatic Test Case Generator. Transactions on Software Engineering Methodology, 2(2):109-175, 1993.
3. Roger Ferguson and Bogdan Korel. The Chaining Approach for Software Test Data Generation". ACM Transactions on Software Engineering and Methodology, 5(1):63-86, January 1996.
4. Jeanne Ferrante, K arl J. Ottenstein, and J. DavidWarren. The Program De-pendence Graph and its use in optimization. Transactions on Programming Languages and Systems, 9-3:319-349, July 1987.
5. Arnaud Gotlieb, Bernar d Botella, and Michel Rueher. Automatic Test Data Generation Using Constraint Solving Techniques. In Proc. of the Sig-soft International Symposium on Software Testing and Analysis, Clearwater Beach, Florida, USA, March 2-5 1998. Sof tware Engineering Notes,23(2):53-disponible at http://www.essi.fr/~rueher/.
6. A. Gotlieb Automatic Test Data Generation using Constraint Logic Pro-gramming. PhD thesis PHD Dissertation (in French), Universit-e de Nice-Sophia Antipolis January 2000
7. Pascal Van Hentenryck, Vijav Saraswat, and Yves Deville. Design, imple-mentation, and evaluation of the constraint language cc(fd). Journal of Logic Programming, 37:139-164, 1998. Also in CS-93-02 Brown-University 1993.
8. James C. King. Symbolic Execution and Program Testing. Communications of the ACM, 19(7):385-394, July 1976.
9. Bogdan Korel. Automated Software Test Data Generation. IEEE Transac-tions on Software Engineering, 16(8):870-879, august 1990.
10. S. Ntafos. On Random and Partition Testing. In Proceedings of Sigsoft Inter-national Symposium on Software Testing and Analysis, volume 23(2), pages 42-48, Clearwater Beach, FL, March,2-5 1998. ACM, SIGPLAN Notices on Software Engineering.