PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software. - Yoel Kim; Yunja Choi (Proc. ACM Softw. Eng., 2024)