PathCrawler: Automatic generation of path tests by combining static and dynamic analysis

Lecture Notes in Computer Science

Volumn 3463, Issue , 2005, Pages 281-292

  Williams, Nicky ^a   Marre, Bruno ^a   Mouy, Patricia ^a   Roger, Muriel ^a  

^a CEA SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; CONSTRAINT THEORY; DATA STRUCTURES; HEURISTIC METHODS; ITERATIVE METHODS;

HEURISTIC ALGORITHMS; IMPERATIVE LANGUAGES; SEQUENTIAL PROGRAMS; TEST-CASE GENERATION PROCESS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 24944468227     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11408901_21     Document Type: Conference Paper

References (17)

1. M.J. Gallagher and V.L. Narasimhan, ADTEST : A Test Data Generation Suite for Ada Software Systems, IEEE Transactions on Software Engineering, Vol. 23, No. 8, August 1997
2. A. Gotlieb, B. Botella and M. Reuher, A CLP Framework for Computing Structural Test Data, CL2000, LNAI 1891, Springer Verlag, July 2000, pp 399-413
3. S-D Gouraud, A. Denise, M-C. Gaudel and B. Marre, A New Way of Automating Statistical Testing Methods, ASE 2001, Coronado Island, California, November 2001
4. B. Jeng and E.J. Weyuker, A Simplified Domain-Testing Strategy, ACM Transactions on Software Engineering and Methodology, Vol. 3, No. 3, July 1994, pp 254-270
5. B. Korel, Automated Software Test Data Generation, IEEE Transactions on Software Engineering, Vol. 16, No. 8, August 1990
6. G.T. Leavens, Y. Cheon, C. Clifton, C. Ruby, and D.R. Cok, How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification, In Formal Methods for Components and Objects, LNCS Vol. 2852, Springer Verlag, Berlin, 2003, pp 262-284
7. B. Marre and A. Arnould, Test sequences generation from Lustre descriptions: GATeL, ASE 2000, Grenoble, pp 229-237, Sep. 2000
8. B. Marre, P. Mouy and N. Williams, On-the-Fly Generation of K-Path Tests for C Functions, 19th IEEE Intnl. Conf. on Automated Software Engineering (ASE 2004), September 2004, Linz, Austria.
9. C. Michael and G. McGraw, Automated Software Test Data Generation for Complex Programs, ASE, Oct 1998, Honolulu
10. C. Michel, M. Rueher and Y. Lebbah, Solving Constraints over Floating-Point Numbers, CP'2001, LNCS vol. 2239, pp 524-538, Springer Verlag, Berlin, 2001
11. P. Mouy, Vers une méthode de génération de tests boite grise "à la volée", Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'04), June 2004, Besançon, France
12. G.C. Necula, S. McPeak, S.P. Rahul and W. Weimer, CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, Proc. Conference on Compiler Construction, 2002.
13. M. Obayashi, H. Kubota, S.P. McCarron and L. Mallet, The Assertion Based Testing Tool for OOP: ADL2, In Proc. ICSE'98, Kyoto, Japan, 1998
14. R.E. Prather and J.P. Myers, The Path Prefix Testing Strategy, IEEE Transactions on Software Engineering, Vol. 13, No. 7, July 1987
15. N.T. Sy and Y. Deville, Consistency Techniques for Interprocedural Test Data Generation, ESEC/FSE'03, September 1-5, 2003, Helsinki, Finland
16. P.Thevenod-Fosse and H.Waeselynck, Software statistical testing based on structural and functional criteria, 11th International Software Quality Week, San Francisco (USA), 26-29 May 1998
17. M. Wallace, S. Novello and J. Schimpf, ECLiPSe: A Platform for Constraint Logic Programming, IC-Parc, Imperial College, London, August 1997