Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution - ISSTA 2014
by Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri

Proceedings of the 2014 International Symposium on Software Testing and Analysis, Pages 421-424, ISSTA '14, ACM, July 2014.

ISBN: 978-1-4503-2645-2

Digital Library via DOI: 10.1145/2610384.2628049 - Local copy: Download as PDF file.

Abstract

Automatic unit test generation aims to support developers by alleviating the burden of test writing. Different techniques have been proposed over the years, each with distinct limitations. To overcome these limitations, we present an extension to the EVOSUITE unit test generator that combines two of the most popular techniques for test case generation: Search-Based Software Testing (SBST) and Dynamic Symbolic Execution (DSE). A novel integration of DSE as a step of local improvement in a genetic algorithm results in an adaptive approach, such that the best test generation technique for the problem at hand is favoured, resulting in overall higher code coverage.

BibTeX Entry

@inproceedings{galeotti-issta-2014,
    title = "Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution",
    author = "Juan Pablo Galeotti and Gordon Fraser and Andrea Arcuri",
    year = "2014",
    month = jul,
    booktitle = "Proceedings of the 2014 International Symposium on Software Testing and Analysis",
    location = "San Jose, California",
    pages = "421--424",
    publisher = "ACM",
    series = "ISSTA '14",
    ISBN = "978-1-4503-2645-2",
    doi = "10.1145/2610384.2628049",
}

Show all publications of the Software Engineering Chair.