TU Darmstadt / ULB / TUbiblio

EvoSE: Evolutionary Symbolic Execution

Baluda, Mauro (2015):
EvoSE: Evolutionary Symbolic Execution.
pp. 16-19, ACM, 6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2015), Bergamo, Italy, August 2015, ISBN 978-1-4503-3813-4,
[Conference or Workshop Item]

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.

Item Type: Conference or Workshop Item
Erschienen: 2015
Creators: Baluda, Mauro
Title: EvoSE: Evolutionary Symbolic Execution
Language: English
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.

Publisher: ACM
ISBN: 978-1-4503-3813-4
Divisions: 20 Department of Computer Science
LOEWE
LOEWE > LOEWE-Zentren
Zentrale Einrichtungen
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Department of Computer Science > EC SPRIDE
20 Department of Computer Science > EC SPRIDE > Secure Software Engineering
Event Title: 6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2015)
Event Location: Bergamo, Italy
Event Dates: August 2015
Date Deposited: 20 Aug 2015 15:17
Official URL: http://dx.doi.org/10.1145/2804322.2804325
Additional Information:

Part of the ESEC/FSE'15: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Identification Number: 2804322.2804325
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details