SSERL
Home
Members
Seminar
Publications
Software
Funding
Gokul Caushik
Latest
Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery
Cite
×