Yunja Choi

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

2024 · Proceedings of the ACM on software engineering.

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, …