Constraint-based test input generation for Java bytecode

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2010, Pages 131-140

  Charreteur, Florence ^a   Gotlieb, Arnaud ^b  

^a UNIVERSITÉ DE RENNES 1   (France)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BYTECODE PROGRAMS; BYTECODES; CONSTRAINT MODEL; CONSTRAINT-BASED; CONSTRAINT-BASED REASONING; GOAL-ORIENTED; INPUT STATE; JAVA BYTE CODES; JAVA VIRTUAL MACHINES; PROGRAM EXECUTION; PROTOTYPE TOOLS; TEST INPUTS; VIRTUAL METHOD CALLS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; QUALITY ASSURANCE; SOFTWARE RELIABILITY;

JAVA PROGRAMMING LANGUAGE;

EID: 79952033757     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2010.26     Document Type: Conference Paper

References (27)

1. R. DeMillo and J. Offut, "Constraint-based automatic test data generation," IEEE Transactions on Software Engineering, vol. 17, no. 9, pp. 900-910, September 1991.
2. J. Offut, Z. Jin, and P. J., "The dynamic domain reduction procedure for test data generation," Software-Practice and Experience, vol. 29, no. 2, pp. 167-193, 1999.
3. A. Gotlieb, B. Botella, and M. Rueher, "Automatic test data generation using constraint solving techniques," in Proc. of Int. Symp. on Soft. Testing and Analysis (ISSTA'98), 1998, pp. 53-62.
4. A. Gotlieb, T. Denmat, and B. Botella, "Goal-oriented test data generation for pointer programs," Information and Soft. Technol., vol. 49, no. 9-10, pp. 1030-1044, Sep. 2007.
5. D. Marinov and S. Khurshid, "Testera: A novel framework for automated testing of java programs," in Proc. of the 16th IEEE int. conf. on Automated soft. eng. (ASE'01), 2001, p. 22.
6. C. Boyapati, S. Khurshid, and D. Marinov, "Korat: automated testing based on java predicates," in Proc. of the int. symp. on Soft. testing and analysis (ISSTA'02), 2002, pp. 123-133.
7. B. Elkarablieh, D. Marinov, and S. Khurshid, "Efficient solving of structural constraints," in Proc. of the int. symp. on Software testing and analysis (ISSTA'08), 2008, pp. 39-50.
8. W. Visser, C. S. Pasareanu, and S. Khurshid, "Test input generation in java pathfinder," in Proc. of ISSTA'04, 2004.
9. C. Pasareanu and W. Visser, "A survey of new trends in symbolic execution for software testing and analysis," Int. J. Softw. Tools Technol. Transfer, vol. 11, pp. 339-353, 2009.
10. P. Godefroid, N. Klarlund, and K. Sen, "Dart: directed automated random testing," in Proc. of PLDI'05, 2005, pp. 213-223.
11. 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'05, 2005.
12. K. Sen, D. Marinov, and G. Agha, "Cute: a concolic unit testing engine for c," in Proc. of ESEC/FSE-13. ACM Press, 2005, pp. 263-272.
13. K. Sen and G. Agha, "Cute and jcute: Concolic unit testing and explicit path model-checking tools," in 18th Int. Conf. on Computer Aided Verification, (CAV'06), ser. LNCS 4144, 2006, pp. 419-423.
14. N. Tillmann and J. de Halleux, "Pex: White box test generation for .net," in Proc. of the 2nd Int. Conf. on Tests and Proofs, ser. LNCS 4966, 2008, pp. 134-153.
15. C. Cadar, V. Ganesh, P. Pawlowski, D. Dill, and D. Engler, "Exe: automatically generating inputs of death," in Proc. of Comp. and Communications Security (CCS'06), 2006, pp. 322-335.
16. R. Grehan, "Jtest continues its trek toward code-testing supremacy," in InfoWorld, Oct. 2006.
17. K. Marriott and P. Stuckey, Programming with Constraints : An Introduction. The MIT Press, 1998.
18. F. Charreteur, B. Botella, and A. Gotlieb, "Modelling dynamic memory management in constraint-based testing," in TAIC-PART (Testing: Academic and Industrial Conference), Windsor, UK, Sep. 2007.
19. L. de Moura and N. Bjørner, "Z3: An efficient smt solver," in Proc. of TACAS'08, an ETAPS conference, Apr. 2008, pp. 337-340.
20. T. Xie, N. Tillmann, P. de Halleux, and W. Schulte, "Fitness-guided path exploration in dynamic symbolic execution," in Proc. the 39th Int. Conf. on Dependable Systems and Networks (DSN'09), Jun. 2009.
21. S. Muchnick and N. Jones, Program Flow Analysis: Theory and Applications - Chapter 9 : L. Clarke, D. Richardson. Prentice-Hall, 1981.
22. S. Bardin and P. Herrmann, "Structural testing of executables," in 1th Int. Conf. on Soft. Testing, Verif. and Valid. (ICST'08), 2008, pp. 22-31.
23. B. Elkarablieh, P. Godefroid, and M. Levin, "Precise pointer reasoning for dynamic test generation," in Proc. of ISSTA, 2009.
24. A. Coen-Porisini, G. Denaro, C. Ghezzi, and M. Pezze, "Using symbolic execution for verifying safety-critical systems," in Proceedings of the European Software Engineering Conference (ESEC/FSE'01). Vienna, Austria: ACM, September 2001, pp. 142-150.
25. T. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, "Software verification with blast," in Proc. of 10th Workshop on Model Checking of Software (SPIN), 2003, pp. 235-239.
26. S. Chaki, E. Clarke, A. Groce, S. Jha, and H. Veith, "Modular verification of software components in C," IEEE Trans. on Soft. Eng. (TSE), vol. 30, no. 6, pp. 388-402, June 2004.
27. E. Clarke and D. Kroening, "Hardware verification using ANSI-C programs as a reference," in Proc. of ASP-DAC'03, Jan. 2003, pp. 308-311.