Combining search-based and constraint-based testing

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 436-439

  Malburg, Jan ^a   Fraser, Gordon ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TEST; BRANCH COVERAGE; CONSTRAINT SOLVERS; CONSTRAINT-BASED; CONTROL FLOWS; LOCAL OPTIMA; META-HEURISTIC SEARCH; SEARCH LANDSCAPES; SEARCH-BASED;

AUTOMATION; SOFTWARE TESTING;

SOFTWARE ENGINEERING;

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

References (19)

1. M. Harman, L. Hu, R. Hierons, J. Wegener, H. Sthamer, A. Baresel, and M. Roper, "Testability transformation," IEEE Trans. Softw. Eng., vol. 30, pp. 3-16, January 2004.
2. K. Lakhotia, N. Tillmann, M. Harman, and J. de Halleux, "FloPSy - search-based floating point constraint solving for symbolic execution,"in 22nd IFIP International Conference on Testing Software and Systems, ser. Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2010, pp. 142-157.
3. K. Inkumsah and T. Xie, "Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution,"in Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08). Washington, DC, USA: IEEE Computer Society, 2008, pp. 297-306.
4. W. Visser, K. Havelund, G. Brat, and S. Park, "Model checking programs," in Proceedings of the 15th IEEE International Conference on Automated Software Engineering, ser. ASE '00. Washington, DC, USA: IEEE Computer Society, 2000.
5. P. Godefroid, N. Klarlund, and K. Sen, "DART: directed automated random testing," in Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'05). New York, NY, USA: ACM, 2005, pp. 213-223.
6. N. Tillmann and J. N. de Halleux, "Pex - white box test generation for. NET," in International Conference on Tests And Proofs (TAP'08), ser. LNCS, vol. 4966. Springer, 2008, pp. 134-253.
7. P. McMinn, "Search-based software test data generation: a survey: Research articles," Software Testing Verification Reliability, vol. 14, no. 2, pp. 105-156, 2004.
8. G. Fraser and A. Arcuri, "Evolutionary generation of whole test suites,"in Proceedings of the 11th International Conference On Quality Software (QSIC'11). IEEE Computer Society, 2011, pp. 31-40.
9. S. Anand, C. S. Pǎsǎreanu, and W. Visser, "JPF-SE: A symbolic execution extension to Java PathFinder," in Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07). Berlin, Heidelberg: Springer-Verlag, 2007, pp. 134-138.
10. Choco Team, "Choco: an open source java constraint programming library," Ecole des Mines de Nantes, Research report 10-02-INFO, 2010. [Online]. Available: http://www.emn.fr/z-info/choco-solver/pdf/choco- presentation.pdf
11. R. Sharma, M. Gligoric, V. Jagannath, and D. Marinov, "A comparison of constraint-based and sequence-based generation of complex input data structures," in Proceedings of the 3rd International Conference on Software Testing, Verification, and Validation Workshops. Washington, DC, USA: IEEE Computer Society, 2010, pp. 337-342.
12. W. Visser, C. S. Pǎsǎreanu, and R. Pelánek, "Test input generation for Java containers using state matching," in Proceedings of the 2006 International Symposium on Software Testing and Analysis (ISSTA'06). New York, NY, USA: ACM, 2006, pp. 37-48.
13. M. Staats and C. Pǎsǎreanu, "Parallel symbolic execution for structural test generation," in Proceedings of the 19th International Symposium on Software Testing and Analysis (ISSTA'10). New York, NY, USA: ACM, 2010, pp. 183-194.
14. H. Sthamer, "The automatic generation of software test data using genetic algorithms," Ph.D. dissertation, University of Glamorgan, Pontyprid, Wales, UK, April 1996.
15. J. P. Galeotti, N. Rosner, C. G. López Pombo, and M. F. Frias, "Analysis of invariants for efficient bounded verification," in Proceedings of the 19th International Symposium on Software Testing and Analysis (ISSTA'10). New York, NY, USA: ACM, 2010, pp. 25-36.
16. E. Dorrer, "F-distribution," Commun. ACM, vol. 11, no. 2, pp. 116-117, 1968.
17. C. Schneckenburger and J. Mayer, "Towards the determination of typical failure patterns," in 4th International Workshop on Software Quality Assurance, co-located with ESEC/FSE'07 (SOQUA'07). New York, NY, USA: ACM, 2007, pp. 90-93.
18. H. Do, S. Elbaum, and G. Rothermel, "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact," Empirical Software Engineering, vol. 10, pp. 405-435, October 2005. (Pubitemid 41408554)
19. R. Majumdar and K. Sen, "Hybrid concolic testing," in Proceedings of the 29th International Conference on Software Engineering (ICSE'07). Washington, DC, USA: IEEE Computer Society, 2007, pp. 416-426.