Baluda, Mauro (2015)
EvoSE: Evolutionary Symbolic Execution.
6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2015). Bergamo, Italy (August 2015)
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (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.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2015 |
| Autor(en): | Baluda, Mauro |
| Art des Eintrags: | Bibliographie |
| Titel: | EvoSE: Evolutionary Symbolic Execution |
| Sprache: | Englisch |
| Publikationsjahr: | 19 August 2015 |
| Verlag: | ACM |
| Veranstaltungstitel: | 6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2015) |
| Veranstaltungsort: | Bergamo, Italy |
| Veranstaltungsdatum: | August 2015 |
| URL / URN: | http://dx.doi.org/10.1145/2804322.2804325 |
| Kurzbeschreibung (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. |
| Zusätzliche Informationen: | 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 |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik LOEWE LOEWE > LOEWE-Zentren Zentrale Einrichtungen LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt 20 Fachbereich Informatik > EC SPRIDE 20 Fachbereich Informatik > EC SPRIDE > Secure Software Engineering |
| Hinterlegungsdatum: | 20 Aug 2015 15:17 |
| Letzte Änderung: | 15 Feb 2024 10:29 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum