PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software

Comprehensive verification/falsification of embedded software is challenging and often impossible mainly due to the typical characteristics of embedded software, such as the use of global variables, reactive behaviors, and its (soft or hard) real-time requirements, to name but a few. Abstraction is...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of the ACM on software engineering Jg. 1; H. FSE; S. 293 - 315
Hauptverfasser:	Kim, Yoel, Choi, Yunja
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 12.07.2024
Schlagworte:	Embedded software Model checking Programming by example Software and its engineering property falsification function summary refinement selective abstraction
ISSN:	2994-970X, 2994-970X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!