Automata Learning for Symbolic Execution

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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.
Originalspracheenglisch
Titel2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018
Redakteure/-innenNikolaj Bjørner, Arie Gurfinkel
Herausgeber (Verlag)IEEE CS
Seiten130 - 138
Seitenumfang9
ISBN (elektronisch)978-0-9835678-8-2
PublikationsstatusVeröffentlicht - 2018
Veranstaltung18th Conference on Formal Methods in Computer-Aided Design - Austin, USA / Vereinigte Staaten
Dauer: 30 Okt 20182 Nov 2018
Konferenznummer: 18

Konferenz

Konferenz18th Conference on Formal Methods in Computer-Aided Design
KurztitelFMCAD 2018
LandUSA / Vereinigte Staaten
OrtAustin
Zeitraum30/10/182/11/18

Fingerprint

Testing

Dies zitieren

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M., & Winter, J. (2018). Automata Learning for Symbolic Execution. in N. Bjørner, & A. Gurfinkel (Hrsg.), 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018 (S. 130 - 138). IEEE CS.

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

2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Hrsg. / Nikolaj Bjørner; Arie Gurfinkel. IEEE CS, 2018. S. 130 - 138.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Aichernig, B, Bloem, R, Ebrahimi, M, Tappler, M & Winter, J 2018, Automata Learning for Symbolic Execution. in N Bjørner & A Gurfinkel (Hrsg.), 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. IEEE CS, S. 130 - 138, Austin, USA / Vereinigte Staaten, 30/10/18.
Aichernig B, Bloem R, Ebrahimi M, Tappler M, Winter J. Automata Learning for Symbolic Execution. in Bjørner N, Gurfinkel A, Hrsg., 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. IEEE CS. 2018. S. 130 - 138
Aichernig, Bernhard ; Bloem, Roderick ; Ebrahimi, Masoud ; Tappler, Martin ; Winter, Johannes. / Automata Learning for Symbolic Execution. 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Hrsg. / Nikolaj Bjørner ; Arie Gurfinkel. IEEE CS, 2018. S. 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 = "2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018",
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 - 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018

A2 - Bjørner, Nikolaj

A2 - Gurfinkel, Arie

PB - IEEE CS

ER -