Saturday, June 25, 2016

Formula-Based Software Debugging

Satisfiability modulo theory solvers can help automate the search for the root cause of observable software errors.



from Communications of the ACM: Latest Issue http://ift.tt/28Syr98
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)