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...

Celý popis

Podrobná bibliografia

Vydané v:	Proceedings of the ACM on software engineering Ročník 1; číslo FSE; s. 293 - 315
Hlavní autori:	Kim, Yoel, Choi, Yunja
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 12.07.2024
Predmet:	Embedded software Model checking Programming by example Software and its engineering property falsification function summary refinement selective abstraction
ISSN:	2994-970X, 2994-970X
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!