On-the-fly generation of K-path tests for C functions

Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004

Volumn , Issue , 2004, Pages 290-293

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

^a CEA SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

C FUNCTIONS; K-PATH TESTS; ON-THE-FLY GENERATION; TEST CASE GENERATION;

CODES (SYMBOLS); COMPUTER SOFTWARE; CONSTRAINT THEORY; INFORMATION ANALYSIS; ITERATIVE METHODS; SPECIFICATIONS;

SOFTWARE ENGINEERING;

EID: 15844383517     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2004.1342749     Document Type: Conference Paper

References (12)

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. Gottlieb, B. Botella and M. Reuher, A CLP Framework for Computing Structural Test Data, CL2000, LNAI 1891, Springer Verlag, July 2000, pp 399-413
3. E. Goubault, A. Pacalet, B. Starynkévitch, F. Védrine and D. Guilbaud, A Simple Abstract Interpreter for Threat Detection and Test Case Generation, WAPATV'01, Toronto, Canada, May 2001
4. 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
5. B. Korel, Automated Software Test Data Generation, IEEE Transactions on Software Engineering, Vol. 16, No. 8, August 1990
6. B. Marre and A. Arnould, Test sequences generation from Lustre descriptions: GATeL, ASE 2000, Grenoble, pp 229-237, Sep. 2000
7. C. Michael and G. McGraw, Automated Software Test Data Generation for Complex Programs, ASE, Oct 1998, Honolulu
8. 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
9. R.E. Prather and J.P. Myers, The Path Prefix Testing Strategy, IEEE Transactions on Software Engineering, Vol. 13, No. 7, July 1987
10. N.T. Sy and Y. Deville, Consistency Techniques for Interprocedural Test Data Generation, ESEC/FSE'03, September 1-5, 2003, Helsinki, Finland
11. M. Wallace, S. Novello and J. Schimpf, ECLiPSe: A Platform for Constraint Logic Programming, IC-Pare, Imperial College, London, August 1997
12. N. Williams, B. Marre and P. Mouy, On-the-fly Generation of K-Path Tests for C Functions, Rapport DRT/LIST/DTSI/SOL/LSL/04-162, CEA, France, 2004