Formula-based software debugging
Published in Communications of the ACM • Jun 24, 2016
NobleIDNI2P66W55R91S88
Authors:,
Abhik Roychoudhury
Satish Chandra
Abstract
Satisfiability modulo theory solvers can help automate the search for the root cause of observable software errors.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!