Accelerating Software Model Checking Based on Program Backbone
Published in Lecture notes in computer science • Jan 1, 2013
NobleIDNI0P50W03R69S35
Authors:,,
Kuanjiu Zhou
Jiawei Yong
Xiaolong Wang
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!