3 ms·SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs [pdf]18 points by luu 12y ago