Home Unlabelled SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs [pdf]

SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs [pdf]

By
Saturday, March 28, 2015
Read
Add Comment
Comments



from Hacker News http://ift.tt/1CYs4bR
Tags :

Created By Nexus · Powered by Blogger
© All Rights Reserved

Terms Of Service · Privacy Policy · Disclaimer · Contact Us · About Us