Saturday, March 28, 2015

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

Comments



from Hacker News http://ift.tt/1CYs4bR
Posted by at

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.

Subscribe to: Post Comments (Atom)