8 search results - page 2 / 2 » From symptom to cause: localizing errors in counterexample t... |
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...
ICDCS
2011
IEEE
12 years 4 months ago
2011
IEEE
Abstract—Nowadays companies increasingly aggregate location data from different sources on the Internet to offer locationbased services such as estimating current road traffic c...