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

Full description

Bibliographic Details

Published in:	Proceedings of the ACM on software engineering Vol. 1; no. FSE; pp. 293 - 315
Main Authors:	Kim, Yoel, Choi, Yunja
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 12.07.2024
Subjects:	Embedded software Model checking Programming by example Software and its engineering property falsification function summary refinement selective abstraction
ISSN:	2994-970X, 2994-970X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!