Login / Signup
Yoel Kim
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
High Level
Embedded Software
Top Venues
Proc. ACM Softw. Eng.
</>
Publications
</>
Yoel Kim
,
Yunja Choi
PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software.
Proc. ACM Softw. Eng.
1 (FSE) (2024)