Finding and fixing faults

2011/05/20 by Barbara Jobstmann, Stefan Staber, Andreas Griesmayer +1
Computer Science · #Software Testing and Debugging Techniques #Formal Methods in Verification #Software Engineering Research

paper · doi:10.1016/j.jcss.2011.05.005

Citations

• A theory of diagnosis from first principles