Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

EvoSE: Evolutionary symbolic execution

 
: Baluda, Mauro

:

Vos, T. ; Association for Computing Machinery -ACM-; Association for Computing Machinery -ACM-, Special Interest Group on Software Engineering -SIGSOFT-:
A-TEST 2015, 6th International Workshop on Automating Test Case Design, Selection and Evaluation. Proceedings : Bergamo, Italy, August 31 - September 04, 2015; Co-located with 10th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2015
New York: ACM, 2015
ISBN: 978-1-4503-3813-4
pp.16-19
International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST) <6, 2015, Bergamo>
Joint Meeting of the European Software Engineering Conference (ESEC) <10, 2015, Bergamo>
Symposium on the Foundations of Software Engineering (FSE) <2015, Bergamo>
English
Conference Paper
Fraunhofer SIT ()

Abstract
Search Based Software Testing (SBST) and Symbolic Execution (SE) have emerged as the most effective among the fully automated test input generation techniques. However, none of the two techniques satisfactorily solves the problem of generating test cases that exercise specific code elements, as it is required for example in security vulnerability testing. This paper proposes EvoSE, an approach that combines the strengths of SBST and SE. EvoSE implements an evolutionary algorithm that searches the program control flow graph for symbolic paths that traverse the minimum number of unsatisfiable branch conditions. Preliminary evaluation shows that EvoSE outperforms state-of-the-art SE search strategies when targeting specific code elements.

: http://publica.fraunhofer.de/documents/N-382675.html