Formula-based software debugging

2016

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

Keywords:

References

Citations