SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs [pdf]usenix.org18 pointsluu11 years ago