Miryung Kim

Papers

Total Citations

H-Index

About

Miryung Kim is a leading researcher in software engineering, with a particular focus on debugging and testing for complex, real-world systems. Her key research areas include cyber-physical systems (CPS), program analysis, and software evolution. Kim’s most notable contribution is the development of **BRACE**, an assertion framework designed to tackle the unique challenges of debugging CPS, where correctness depends on the interplay of logical and physical states. This work, published in 2012, provides developers with a systematic method to observe and validate system behavior, reducing the tedious trial-and-error process of tweaking hardware and software. While her citation counts for this specific work are modest, the foundational nature of BRACE has influenced subsequent research in CPS reliability and testing. Kim’s broader impact is evident in her contributions to software engineering tools and methodologies, which have been recognized by the community. Her work exemplifies the critical need for rigorous debugging frameworks in emerging technologies, making her a key figure for students and researchers interested in the intersection of software engineering and physical systems.