An eclipse plug-in for model checking

Program Comprehension, Workshop Proceedings

Volumn 12, Issue , 2004, Pages 251-255

  Beyer, Dirk ^a   Henzinger, Thomas A ^a   Jhala, Ranjit ^a   Majumdar, Rupak ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; DATA REDUCTION; ERROR CORRECTION; FAILURE ANALYSIS; INTERFACES (COMPUTER); PROBLEM SOLVING; PROGRAM DEBUGGING;

BUGS; CODE EVALUATION; MODEL CHECKING; SOFTWARE QUALITY;

COMPUTER VIRUSES;

EID: 10044243955     PISSN: 10928138     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. K. Beck. Test Driven Development: By Example. Addison-Wesley, 2002.
2. D. Beyer, A. Chlipala, T. Henzinger, R. Jhala, and R. Majumdar. Generating tests from counterexamples. In Proc. ICSE. IEEE, 2004.
3. E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample- guided abstraction refinement. In Proc. CAV, LNCS 1855, pages 154-169. Springer, 2000.
4. E. Gamma and K. Beck. JUnit: A cook's tour. Java Report, 4(5):27-38, 1999.
5. T. A. Henzinger, R. Jhala, R. Majumdar, and M. A. A. Sanvido. Extreme model checking. In International Symposium on Verification: Theory and Practice, LNCS 2772, pages 332-358. Springer, 2003.
6. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Proc. POPL, pages 58-70. ACM, 2002.
7. C. Hoare. Assertions: A personal perspective. IEEE Annals of the History of Computing, 25(2): 14-25, 2003.
8. P. Sweeney and F. Tip. A study of dead data members in C++ applications. In Proc. PLDI, pages 324-332, 1998.