2 records found
1
Using Fault Screeners for Software Error Detection
A Model-based Software Reasoning Approach to Software Debugging