Alex Groce and Willem Visser. "What Went Wrong: Explaining Counterexamples. " In SPIN Workshop on Model Checking of Software, pages 121--135, May 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Generating Error Traces From Verification-Condition.. - Leino, Millstein, Saxe (2004) (1 citation) (Correct)
.... and tabular output, some tools offer graphical replay of error traces (see, e.g. 14] Recent work in model checking has considered the generation of multiple correct and erroneous execution traces, from which the checking tool heuristically arrives at possible sources of a manifested error [1, 12]. 7 Conclusions We have presented a method for instrumenting verification conditions with information that makes it easy to produce, from a theorem prover s output, execution traces leading to the errors discovered. Our method builds on ideas used to instrument verification conditions with ....
Alex Groce and Willem Visser. What went wrong: Explaining counterexamples. In SPIN Workshop on Model Checking of Software, May 2003. To appear.
Error Explanation with Distance Metrics - Groce (2004) (2 citations) Self-citation (Groce) (Correct)
No context found.
A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN Workshop on Model Checking of Software, pages 121-135, 2003.
Making the Most of BMC Counterexamples - Groce, Kroening (2004) (1 citation) Self-citation (Groce) (Correct)
No context found.
A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN Workshop on Model Checking of Software, pages 121-135, 2003.
Understanding Counterexamples with explain - Alex Groce Daniel (2004) (1 citation) Self-citation (Groce) (Correct)
No context found.
A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN Workshop on Model Checking of Software, pages 121-135, 2003.
Localizing Errors in Counterexample with - Iteratively Witness Searching (Correct)
No context found.
Alex Groce and Willem Visser. "What Went Wrong: Explaining Counterexamples. " In SPIN Workshop on Model Checking of Software, pages 121--135, May 2003.
Localizing Errors in Counterexample with - Iteratively Witness Searching (Correct)
No context found.
Alex Groce and Willem Visser. "What Went Wrong: Explaining Counterexamples. " In SPIN Workshop on Model Checking of Software, pages 121--135, May 2003.
Refining Abstractions of Hybrid Systems Using.. - Fehnker, Clarke, Jha.. (Correct)
No context found.
A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN Workshop on Model Checking of Software, LNCS 2648. Springer, 2003.
Partial-Order Reduction and Trail Improvement in.. - Edelkamp.. (2004) (2 citations) (Correct)
No context found.
Groce A, Visser W (2003) What went wrong: Explaining counterexamples. In: Workshop on software model checking (SPIN). Lecture notes in computer science, vol 2648. Springer, Berlin Heidelberg New York, pp 121--135
An overview of JML tools and applications - Burdy, Cheon, Cok, Ernst.. (2004) (16 citations) (Correct)
No context found.
Groce A, Visser W (2003) What went wrong: explaining counterexamples. In: 10th international SPIN workshop on model checking of software, Portland, OR, 9--10 May 2003, pp 121--135
Selecting, Refining, and Evaluating Predicates for Program.. - Dodoo, Lin, Ernst (2003) (Correct)
No context found.
Alex Groce and Willem Visser. What went wrong: Explaining counterexamples. In 10th International SPIN Workshop on Model Checking of Software, pages 121--135, Portland, Oregon, May 9--10, 2003.
Approximate Modeling for Debugging of Program Loops - Mayer, Stumptner (Correct)
No context found.
Alex Groce and Willem Visser, `What went wrong: Explaining counterexamples ', in SPIN Workshop on Model Checking of Software, (2003).
Efficient Incremental Algorithms for Dynamic Detection of.. - Perkins, Ernst (2004) (2 citations) (Correct)
No context found.
A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN 2003.
Towards a Model for Automated Fault Localization in - Vhdl Designs Exploring (Correct)
No context found.
A. Groce and W. Visser, `What went wrong: Explaining counterexamples ', in 10th International SPIN Workshop on Model Checking of Software, (5 2003).
From Symptom to Cause: Localizing Errors in Counterexample.. - Ball, Naik, Rajamani (2003) (19 citations) (Correct)
No context found.
A. Groce and W. Visser. What went wrong: Explaining counterexamples. Technical Report 02-08, RIACS, USRA, 2002.
Generation of All Counter-Examples for Push-Down Systems - Basu, Saha, Lin, Smolka (2003) (Correct)
No context found.
A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN Workshop, 2003. 15
From Symptom to Cause: Localizing Errors in Counterexample.. - Ball, Naik, Rajamani (2003) (19 citations) (Correct)
No context found.
A. Groce and W. Visser. What went wrong: Explaining counterexamples. Technical Report 02-08, RIACS, USRA, 2002.
Finding Latent Code Errors via Machine Learning over Program.. - Brun, Ernst (2004) (4 citations) (Correct)
No context found.
A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN 2003.
An Overview of JML Tools and Applications - Burdy, Cheon, Cok, Ernst.. (2003) (16 citations) (Correct)
No context found.
Alex Groce and Willem Visser. What went wrong: Explaining counterexamples. In 10th International SPIN Workshop on Model Checking of Software, pages 121-- 135, Portland, Oregon, May 9--10, 2003.
Fault Localization with Nearest Neighbor Queries - Renieris, Reiss (2003) (4 citations) (Correct)
No context found.
A. Groce and W. Visser. What went wrong: Explaining counterexamples. In Proceedings of the 10th International SPIN Workshop on Model Checking of Software, volume 2648 of Lecture Notes Computer Science. Springer-Verlag, 2003.
Automated Fault Localization Using Potential Invariants - Pytlik, Renieris.. (2003) (7 citations) (Correct)
No context found.
Alex Groce and Willem Visser. What went wrong: Explaining counterexamples. In Proceedings of the 10th International SPIN Workshop on Model Checking of Software, volume 2648 of Lecture Notes in Computer Science, 2003.
Elided Conditionals - Renieris, Chan-Tin, Reiss (2004) (Correct)
No context found.
Alex Groce and Willem Visser. What went wrong: Explaining counterexamples. In Proceedings of the 10th International SPIN Workshop on Model Checking of Software, volume 2648 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
Cmc: A Model Checker For Network Protocol Implementations - Musuvathi (2004) (Correct)
No context found.
A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN Workshop on Model Checking of Software, pages 121--135, May 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC