SSERL
Home
Members
Seminar
Publications
Software
Funding
Chaoqiang Zhang
Latest
Cause reduction: delta debugging, even without bugs
Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery
Cite
×