What went wrong: Explaining counterexamples

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2648, Issue , 2003, Pages 121-135

  Groce, Alex ^a   Visser, Willem ^b  

^a Carnegie Mellon University ^*  (United States)

^b Research Institute for Advanced Computer Science   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ERRORS;

AUTOMATED METHODS; ENVIRONMENTAL ACTION; KEY ELEMENTS; SOURCE CODES; SOURCE LEVEL;

MODEL CHECKING;

EID: 35248845029     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44829-2_8     Document Type: Article

References (17)

1. T. Ball, M. Naik, and S. Rajamani. From Symptom to Cause: Localizing Errors in Counterexample Traces. In Principles of Programming Languages, 2003.
2. T. Ball and S. K. Rajamani. Automatically Validating Temporal Safety Properties of Interfaces. In SPIN Workshop on Model Checking of Software, pages 103-122, 2001.
3. J. Choi, and A. Zeller. Isolating Failure-Inducing Thread Schedules. In International Symposium on Software Testing and Analysis, 2002.
4. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000.
5. ∼mernst/pubs/ invariants-implications-abstract.html. March 16, 2000. Viewed: September 6th, 2002.
6. M. Ernst, J. Cockrell, W. Griswold and D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. In International Conference on Software Engineering, pages 213-224, 1999.
7. D. Giannakopoulou, C. Pǎsǎreanu, and H. Barringer. Assumption Generation for Software Component Verification. In Automated Software Engineering, 2002.
8. A. Groce and W. Visser. Model Checking Java Programs using Structural Heuristics. In International Symposium on Software Testing and Analysis, 2002.
9. K. Havelund, M. Lowry, S. Park, C. Pecheur, J. Penix, W. Visser and J. White. Formal Analysis of the Remote Agent Before and After Flight. In Proceedings of the 5th NASA Langley Formal Methods Workshop, June 2000.
10. T. A. Henzinger, R. Jhala, R. Majumdar and G. Sutre. Lazy Abstraction. In ACM SIGPLAN-SIGACT Conference on Principles of Programming Languages, 2002.
11. H. Jin, K. Ravi and F. Somenzi. Fate and Free Will in Error Traces. In Tools and Algorithms for the Construction and Analysis of Systems, pages 445-458, 2002.
12. J. Penix, W. Visser, E. Engstrom, A. Larson and N. Weininger. Verification of Time Partitioning in the DEOS Scheduler Kernel. In International Conference on Software Engineering, pages 488-497, 2000.
13. N. Sharygina and D. Peled. A Combined Testing and Verification Approach for Software Reliability. In Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, pages 611-628, 2001.
14. O. Tkachuk, G. Brat and W. Visser Using Code Level Model Checking To Discover Automation Surprises In Digital Avionics Systems Conference, Irvine CA, October 2002.
15. W. Visser, K. Havelund, G. Brat and S. Park. Model Checking Programs. In Automated Software Engineering (ASE), pages 3-11, 2000.
16. A. Zeller. Isolating Cause-Effect Chains from Computer Programs. In International Symposium on the Foundations of Software Engineering (FSE-10), 2002.
17. A. Zeller and R. Hildebrandt. Simplifying and Isolating Failure-Inducing Input. In IEEE Transactions on Software Engineering, 28(2), February 2002, pages 183-200.