Constraint-based test data generation in the presence of stack-directed pointers

20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005

Volumn , Issue , 2005, Pages 313-316

  Gotlieb, Arnaud ^a   Denmat, Tristan ^a   Botella, Bernard ^b  

^a CAMPUS DE BEAULIEU   (France)

^b THALES AVIONICS   (France)

Author keywords

Constraint satisfaction; Constraint based test data generation; Stack directed pointers

Indexed keywords

ALIASING PROBLEMS; COMBINATORS; CONSTRAINT SATISFACTION; CONSTRAINT SATISFACTION TECHNIQUES; CONSTRAINT-BASED; MULTILEVELS; POINTS-TO ANALYSIS; TEST DATA; TEST DATA GENERATION;

COMPUTER SOFTWARE; DATA COMMUNICATION SYSTEMS; REAL TIME CONTROL; TEST FACILITIES; TESTING;

AUTOMATIC TEST PATTERN GENERATION;

EID: 47349091726     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1101908.1101958     Document Type: Conference Paper

References (11)

1. DeMillo, R. A. and Offut, J. A., "Constraint-based automatic test data generation", IEEE Trans on Software Eng., vol. 17, no. 9, pp. 900-910, Sep. 1991.
2. Offut, J. A. and Jin, Z. and Pan J., "The dynamic domain reduction procedure for test data generation", Software-Practice and Exp., vol. 29, no. 2, 1999.
3. Gotlieb, A. and Botella, B. and Rueher, M., "Automatic test data generation using constraint solving techniques", in Proc. of the Int. Symp. on Software Testing and Analysis (ISSTA'98), Clearwater Beach, FL, USA, Mar. 1998, pp. 53-62.
4. Gotlieb, A. and Botella, B. and Rueher, M., "A clp framework for computing structural test data", in Proceedings of Computational Logic (CL'2000), London, UK, July 2000, LNAI 1891, pp. 399-413.
5. Meudec, C., "ATGen: automatic test data generation using constraint logic programming and symbolic execution", Software Testing, Verification and Reliability, vol. 11, no. 2, pp. 81-96, June 2001.
6. K. Marriott and P. J. Stuckey, Programming with Constraints: An Introduction, The MIT Press, 1998.
7. Axlog Ingenierie and Thales Airborne Systems, INKA-V1 User's Manual, december 2002.
8. Lapkowski, C. and Hendren, L. J., "Extended SSA numbering: Introducing SSA properties to languages with multi-level pointers", in 7th Proc. of the Conf. on Compilers Construction (CC'98), Lisbon, Portugal, Mar. 1998, pp. 128-143, LNCS 1383.
9. Ostrand, T. J. and Weyuker, E. J., "Data flow-based test adequacyanalysis for languages with pointers", In Proceedings of the Symposium on Testing, Analysis, and Verification (TAV'91), Oct. 1991, pp. 74-86.
10. Livshits, V. and Lam, M., "Tracking pointers with path and context sensitivityfor bug detection in c programs", in ACM Symp. on the Foundations of Soft. Eng. (ESEC/FSE'03), Sep. 2003, pp. 317-326.
11. Binkley, D. W. and Lyle, J. R., "Application of the pointer state subgraph to static program slicing", Jour. of Sys. and Soft., vol. 40, no. 1, pp. 17-27, 1998.