Automata Learning for Symbolic Execution

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Abstract

Black-box components conceal parts of software execution paths, which makes systematic testing, e. g., via symbolic execution, difficult. In this paper, we use automata learning to facilitate symbolic execution in the presence of black-box components. We substitute black boxes in a software system with learned automata that model them, enabling us to symbolically execute program paths that run through black-boxes. We show that applying the approach on real-world software systems incorporating black-boxes increases code coverage when compared to standard techniques.
LanguageEnglish
Title of host publicationFMCAD'18
Subtitle of host publicationProceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018
EditorsNikolaj Bjørner, Arie Gurfinkel
PublisherIEEE CS
Pages130 - 138
Number of pages9
ISBN (Electronic)978-0-9835678-8-2
StatusPublished - 2018
Event18th Conference on Formal Methods in Computer-Aided Design - Austin, United States
Duration: 30 Oct 20182 Nov 2018
Conference number: 18

Conference

Conference18th Conference on Formal Methods in Computer-Aided Design
Abbreviated titleFMCAD 2018
CountryUnited States
CityAustin
Period30/10/182/11/18

Fingerprint

Testing

Cite this

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M., & Winter, J. (2018). Automata Learning for Symbolic Execution. In N. Bjørner, & A. Gurfinkel (Eds.), FMCAD'18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018 (pp. 130 - 138). IEEE CS.

Automata Learning for Symbolic Execution. / Aichernig, Bernhard; Bloem, Roderick; Ebrahimi, Masoud; Tappler, Martin; Winter, Johannes.

FMCAD'18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. ed. / Nikolaj Bjørner; Arie Gurfinkel. IEEE CS, 2018. p. 130 - 138.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Aichernig, B, Bloem, R, Ebrahimi, M, Tappler, M & Winter, J 2018, Automata Learning for Symbolic Execution. in N Bjørner & A Gurfinkel (eds), FMCAD'18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. IEEE CS, pp. 130 - 138, 18th Conference on Formal Methods in Computer-Aided Design, Austin, United States, 30/10/18.
Aichernig B, Bloem R, Ebrahimi M, Tappler M, Winter J. Automata Learning for Symbolic Execution. In Bjørner N, Gurfinkel A, editors, FMCAD'18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. IEEE CS. 2018. p. 130 - 138
Aichernig, Bernhard ; Bloem, Roderick ; Ebrahimi, Masoud ; Tappler, Martin ; Winter, Johannes. / Automata Learning for Symbolic Execution. FMCAD'18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. editor / Nikolaj Bjørner ; Arie Gurfinkel. IEEE CS, 2018. pp. 130 - 138
@inproceedings{1a2e8f78853e4a5ca71a3e0ec0c2c415,
title = "Automata Learning for Symbolic Execution",
abstract = "Black-box components conceal parts of software execution paths, which makes systematic testing, e. g., via symbolic execution, difficult. In this paper, we use automata learning to facilitate symbolic execution in the presence of black-box components. We substitute black boxes in a software system with learned automata that model them, enabling us to symbolically execute program paths that run through black-boxes. We show that applying the approach on real-world software systems incorporating black-boxes increases code coverage when compared to standard techniques.",
author = "Bernhard Aichernig and Roderick Bloem and Masoud Ebrahimi and Martin Tappler and Johannes Winter",
year = "2018",
language = "English",
pages = "130 -- 138",
editor = "Bj{\o}rner, {Nikolaj } and Gurfinkel, {Arie }",
booktitle = "FMCAD'18",
publisher = "IEEE CS",

}

TY - GEN

T1 - Automata Learning for Symbolic Execution

AU - Aichernig, Bernhard

AU - Bloem, Roderick

AU - Ebrahimi, Masoud

AU - Tappler, Martin

AU - Winter, Johannes

PY - 2018

Y1 - 2018

N2 - Black-box components conceal parts of software execution paths, which makes systematic testing, e. g., via symbolic execution, difficult. In this paper, we use automata learning to facilitate symbolic execution in the presence of black-box components. We substitute black boxes in a software system with learned automata that model them, enabling us to symbolically execute program paths that run through black-boxes. We show that applying the approach on real-world software systems incorporating black-boxes increases code coverage when compared to standard techniques.

AB - Black-box components conceal parts of software execution paths, which makes systematic testing, e. g., via symbolic execution, difficult. In this paper, we use automata learning to facilitate symbolic execution in the presence of black-box components. We substitute black boxes in a software system with learned automata that model them, enabling us to symbolically execute program paths that run through black-boxes. We show that applying the approach on real-world software systems incorporating black-boxes increases code coverage when compared to standard techniques.

M3 - Conference contribution

SP - 130

EP - 138

BT - FMCAD'18

A2 - Bjørner, Nikolaj

A2 - Gurfinkel, Arie

PB - IEEE CS

ER -