Projects per year
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.
| Original language | English |
|---|---|
| Title of host publication | 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018 |
| Editors | Nikolaj Bjørner, Arie Gurfinkel |
| Publisher | IEEE CS |
| Pages | 130 - 138 |
| Number of pages | 9 |
| ISBN (Electronic) | 978-0-9835678-8-2 |
| Publication status | Published - 2018 |
| Event | 18th Conference on Formal Methods in Computer-Aided Design - Austin, United States Duration: 30 Oct 2018 → 2 Nov 2018 Conference number: 18 |
Conference
| Conference | 18th Conference on Formal Methods in Computer-Aided Design |
|---|---|
| Abbreviated title | FMCAD 2018 |
| Country/Territory | United States |
| City | Austin |
| Period | 30/10/18 → 2/11/18 |
Fingerprint
Dive into the research topics of 'Automata Learning for Symbolic Execution'. Together they form a unique fingerprint.Projects
- 3 Finished
-
Enable-S3 - European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
Bloem, R. (Co-Investigator (CoI)), Horn, M. (Co-Investigator (CoI)), Wotawa, F. (Co-Investigator (CoI)), Bösch, W. (Co-Investigator (CoI)) & Eichberger, A. (Co-Investigator (CoI))
1/05/16 → 30/04/19
Project: Research project
-
Dependable Internet of Things
Boano, C. A. (Co-Investigator (CoI)), Kubin, G. (Co-Investigator (CoI)), Bloem, R. (Co-Investigator (CoI)), Horn, M. (Co-Investigator (CoI)), Pernkopf, F. (Co-Investigator (CoI)), Zakany, N. (Co-Investigator (CoI)), Mangard, S. (Co-Investigator (CoI)), Witrisal, K. (Co-Investigator (CoI)), Römer, K. U. (Co-Investigator (CoI)), Aichernig, B. (Co-Investigator (CoI)), Bösch, W. (Co-Investigator (CoI)), Baunach, M. C. (Co-Investigator (CoI)), Tappler, M. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Weiser, S. (Co-Investigator (CoI)), Eichlseder, M. (Co-Investigator (CoI)), Leitinger, E. (Co-Investigator (CoI)), Grosinger, J. (Co-Investigator (CoI)), Großwindhager, B. (Co-Investigator (CoI)), Ebrahimi, M. (Co-Investigator (CoI)), Alothman Alterkawi, A. B. (Co-Investigator (CoI)), Knoll, C. (Co-Investigator (CoI)), Teschl, R. (Co-Investigator (CoI)), Saukh, O. (Co-Investigator (CoI)), Rath, M. (Co-Investigator (CoI)), Steinberger, M. (Co-Investigator (CoI)), Steinbauer-Wagner, G. (Co-Investigator (CoI)) & Tranninger, M. (Co-Investigator (CoI))
1/01/16 → 31/03/22
Project: Research project
-
EU - IMMORTAL - IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems
Bloem, R. (Co-Investigator (CoI)) & Könighofer, R. (Co-Investigator (CoI))
1/03/15 → 28/02/18
Project: Research project