Automating structural testing of c programs: Experience with pathcrawler

Proceedings of the 2009 ICSE Workshop on Automation of Software Test, AST 2009

Volumn , Issue , 2009, Pages 70-78

  Botella, Bernard ^a   Delahaye, Mickaël ^a   Hong Tuan Ha, Stéphane ^a   Kosmatov, Nikolai ^a   Mouy, Patricia ^a   Roger, Muriel ^a   Williams, Nicky ^a  

^a CEA LIST   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TEST GENERATION; C PROGRAMS; CRITICAL SOFTWARE; EVALUATION CRITERIA; INDUSTRIAL SOFTWARE; OPEN PROBLEMS; STRUCTURAL TESTING; STRUCTURAL TESTS; VERIFICATION PROCESS;

AUTOMATION; C (PROGRAMMING LANGUAGE); SOFTWARE TESTING; TEST FACILITIES; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 70349681066     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWAST.2009.5069043     Document Type: Conference Paper

References (32)

1. S. Bardin and P. Herrmann. Structural testing of executables. In ICST'08, pages 22-31, Lillehammer, Norway, April 2008. IEEE Computer Society.
2. N. E. Beckman, A. V. Nori, S. K. Rajamani, and R. J. Simmons. Proofs from tests. In ISSTA'08, pages 3-14, Seattle, WA, USA, 2008. ACM.
3. B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jeron, B. Legeard, B. Marre, C. Michel, and M. Rueher. The V3F project. In CSTVA'06, Nantes, France, 2006.
4. P. Boonstoppel, C. Cadar, and D. R. Engler. RWset: attacking path explosion in constraint-based test generation. In TACAS'08 (Part of ETAPS'08), pages 351-366, Budapest, Hungary, March-April 2008.
5. B. Botella, A. Gotlieb, and C. Michel. Symbolic execution of floating-point computations: Research articles. Softw. Test. Verif. Reliab., 16(2):97-121, 2006.
6. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on Java predicates. In ISSTA'02, pages 123-133, New York, NY, USA, 2002. ACM.
7. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. EXE: automatically generating inputs of death. In CCS'06, pages 322-335, Alexandria, VA, USA, November 2006.
8. H. Collavizza and M. Rueher. Exploration of the capabilities of constraint programming for software verification. In TACAS'06, pages 182-196, 2006.
9. C. Flanagan and P. Godefroid. Dynamic partial-order reduction for model checking software. In POPL'05, pages 110-121, New York, NY, USA, 2005. ACM Press. (Pubitemid 40493971)
10. P. Godefroid. Compositional dynamic test generation. SIGPLAN Not., 42(1):47-54, 2007.
11. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In PLDI'05, pages 213-223, Chicago, IL, USA, June 2005.
12. D. Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23:5-48, 1991.
13. A. Gotlieb, B. Botella, and M. Rueher. Automatic test data generation using constraint solving techniques. In ISSTA'98, pages 53-62, Clearwater Beach, FL, USA, March 1998.
14. A. Gotlieb, B. Botella, and M. Watel. INKA: Ten years after the first ideas. In ICSSEA'06, Paris, France, December 2006.
15. C. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):567-580, 1969.
16. N. Kosmatov. All-paths test generation for programs with internal aliases. In ISSRE'08, pages 147-156, Seattle, WA, USA, November 2008. IEEE Computer Society.
17. R. Majumdar and K. Sen. Hybrid concolic testing. In ICSE'07, pages 416-426, Minneapolis, MN, USA, May 2007. IEEE Computer Society
18. B. Marre and A. Arnould. Test sequences generation from Lustre descriptions: GATeL. In ASE'00, pages 229-237, Grenoble, France, September 2000.
19. A. P. Mathur. Foundations of Software Testing. Pearson Editions, 2008.
20. S. McPeak and G. C. Necula. Elkhound: A fast, practical GLR parser generator. In E. Duesterwald, editor, CC, volume 2985 of Lecture Notes in Computer Science, pages 73-88. Springer, 2004.
21. C. Michel, M. Rueher, and Y. Lebbah. Solving constraints over floating-point numbers. In CP'01, pages 524-538, London, UK, 2001. Springer-Verlag.
22. D. Monniaux. The pitfalls of verifying floating-point computations. ACM Trans. Program. Lang. Syst., 30(3):1-41, 2008.
23. P. Mouy, B. Marre, N. Willams, and P. Le Gall. Generation of all-paths unit test with function calls. In ICST'08, pages 32-41, Lillehamer, Norway, 2008. IEEE Computer Society.
24. G. J. Myers. The Art of Software Testing. John Wiley and Sons, 1979.
25. G. C. Necula, S. McPeak, S. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In CC'02, Grenoble, France, 2002.
26. K. Sen and G. Agha. jCUTE: Automated testing of multithreaded programs using race-detection and flipping. Technical Report UIUCDCS-R-2006-2676, University of Illinois at Urbana Champaign, 2006.
27. K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In ESEC/FSE'05, pages 263-272, Lisbon, Portugal, September 2005.
28. N. Tillmann and J. de Halleux. White box test generation for. NET. In TAP'08, volume 4966 of LNCS, pages 133-153. Springer, April 2008.
29. W. Visser, C. S. Pǎsǎreanu, and S. Khurshid. Test input generation with Java PathFinder. SIGSOFT Softw. Eng. Notes, 29(4):97-107, 2004.
30. N. Williams. WCET measurement using modified path testing. In WCET'05, Palma de Mallorca, Spain, July 2005.
31. N. Williams, B. Marre, and P. Mouy. On-the-fly generation of k-paths tests for C functions: towards the automation of grey-box testing. In ASE'04, pages 290-293, Linz, Austria, September 2004.
32. N. Williams, B. Marre, P. Mouy, and M. Roger. PathCrawler: automatic generation of path tests by combining static and dynamic analysis. In EDCC'05, pages 281-292, Budapest, Hungary, April 2005.