Modelling dynamic memory management in constraint-based testing

Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007

Volumn , Issue , 2007, Pages 111-120

  Charreteur, Florence ^a   Botella, Bernard ^b   Gotlieb, Arnaud ^c  

^a UNIVERSITÉ DE RENNES 1   (France)

^b CEA SACLAY   (France)

^c CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; INDUSTRIAL RESEARCH; STORAGE ALLOCATION (COMPUTER); TEST FACILITIES; TESTING;

C PROGRAMS; CONSTRAINT MODELLING; CONSTRAINT REASONING; CONSTRAINT SOLVING; CONSTRAINT-BASED; DYNAMIC MEMORY ALLOCATION; DYNAMIC MEMORY MANAGEMENT; DYNAMIC-MEMORY; STRUCTURAL TESTING; TEST CASES; TEST DATA; TEST DATA GENERATION;

STRUCTURED PROGRAMMING;

EID: 48049097748     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TAICPART.2007.4344106     Document Type: Conference Paper

References (21)

1. R.A. DeMillo and J.A Offut, "Constraint-Based Automatic Test Data Generation", TSE, 1991, pp. 900-910.
2. D. Lewin, L. Fournier, M. Levinger and E. Roytman and G. Shurek, "Constraint Satisfaction for Test Program Generation", IEEE International Phoenix Conference on Communication and Computers, 1995.
3. E. Bin, R. Emek, G. Shurek and A. Ziv, "Using a constraint satisfaction formulation and solution techniques for random test program generation ", IBM Systems Journal 41 (3), 2002, pp. 386-402.
4. A. Gotlieb, B. Botella and M. Rueher, "Automatic Test Data Generation Using Constraint Solving Techniques", ISSTA98, 23 (2), Clearwater Beach, FL, USA, 1998, pp. 53-63.
5. N. Williams, B. Marre, P. Mouy and M. Roger, "PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis", In Proc. Dependable Computing, EDCC 2005: 5th European Dependable Computing Conference, Eds. Mario Dal Cin, Mohamed Kaâniche, András Pataricza, LNCS Vol. 3463/2005, Springer-Verlag GmbH, Budapest, Hungary, 2005, pp. 281-292.
6. N. Tillmann and W. Schulte, "Parameterized unit tests", ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, ACM Press, Lisbon, Portugal, 2005, pp. 253-262.
7. K. Sen, D. Marinov and G. Agha, "CUTE: a concolic unit testing engine for C", ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, ACM Press, Lisbon, Portugal, 2005, pp. 263-272.
8. B. Marre and A. Arnould, "Test Sequences Generation from LUSTRE Descriptions: GATEL", Proc. of the 15th IEEE Conference on Automated Software Engineering (ASE'00), IEEE CS Press, Grenoble, France, 2000, pp. 229-237.
9. B. Seljimi and I. Parissis, "Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs ", ISSRE '06: Proceedings of the 17th International Symposium on Software Reliability Engineering, IEEE Computer Society, vol. 0, Washington, DC, USA, 2006, pp. 105-116.
10. D. Jackson and M. Vaziri, "Finding bugs with a constraint solver", ISSTA '00: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, ACM Press, Portland, Oregon, United States, 2000, pp. 14-25.
11. C. Pasareanu, M. Dwyer and W. Visser, "Finding Feasible Abstract Counter-Examples", International Journal on Software Tools for Technology Transfer (STTT), 5(1), 2003, pp. 34-48.
12. H. Collavizza, and M. Rueher, "Exploration of the Capabilities of Constraint Programming for Software Verification ", Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), Vienna, Austria, 2006, pp. 182-196.
13. A. Gotlieb, B. Botella and M. Rueher, "A CLP Framework for Computing Structural Test Data", Proceedings of Computational Logic (CL'2000), LNAI 1891, 2000, pp. 399-413.
14. A. Gotlieb, B. Botella and M. Watel, "InKa: Ten years after the first ideas", 19th International Conference on Software and Systems Engineering and their Applications (ICSSEA'06), Paris, France, 2006
15. C. Meudec, "ATGen: automatic test data generation using constraint logic programming and symbolic execution", Software Testing, Verification and Reliability (STVR), 11 (2), 2001, pp. 81-96.
16. http://research.microsoft.com/projects/mutt/
17. http://www.polytech.unice.fr/~rueher/CEP/en/
18. R.Sedgewick, "algorithms in C", Addison-Westley publishing company, 1988.
19. A. Gotlieb, T. Denmat and B. Botella, "Goal-oriented test data generation for programs with pointer variables", 29th IEEE Annual International Computer Software and Applications Conference (COMPSAC'05), Edinburh, Scotland, 2005, pp. 449-454.
20. B.Botella, A. Gotlieb and C. Michel, "Symbolic execution of floating-point computations", The Software Testing, Verification and Reliability journal, 16 (2), John Wiley and Sons Ltd., Chichester, UK, 2006, pp. 97-121.
21. S. Sai-ngern, C. Lursinap and P. Sophatsathit, "An address mapping approach for test data generation of dynamic linked structures" , Information and Software Technology 47 (3), 2005, pp. 199-214.