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á bibliografie

Vydáno v:	Proceedings of the ACM on software engineering Ročník 1; číslo FSE; s. 293 - 315
Hlavní autoři:	Kim, Yoel, Choi, Yunja
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 12.07.2024
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!