Mining temporal specifications for error detection

Lecture Notes in Computer Science

Volumn 3440, Issue , 2005, Pages 461-476

  Weimer, Westley ^a   Necula, George C ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTER SOFTWARE; COMPUTER VIRUSES; ERROR DETECTION; JAVA PROGRAMMING LANGUAGE; SPECIFICATIONS;

MINING ALGORITHMS; SOFTWARE BUGS; TEMPORAL SAFETY;

DATA MINING;

EID: 24644493674     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31980-1_30     Document Type: Conference Paper

References (14)

1. R. Alur, P. Cerny, P. Madhusudan, and W. Nam. Synthesis of interface specifications for Java classes. In Principles of Programming Languages, 2005.
2. G. Ammons, R. Bodik, and J. R. Larus. Mining specifications. In Principles of Programming Languages, pages 4-16, 2002.
3. G. Ammons, D. Mandein, R. Bodik, and J. Larus. Debugging temporal specifications with concept analysis. In Programming Language Design and Implementation, San Diego, California, June 2003.
4. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN 2001, Workshop on Model Checking of Software, volume 2057 of Lecture Notes in Computer Science, pages 103-122, May 2001.
5. M. Das, S. Lerner, and M. Seigle. ESP: path-sensitive program verification in polynomial time. SIGPLAN Notices, 37(5):57-68, 2002.
6. R. DeLine and M. Fähndrich. Enforcing high-level protocols in low-level software. In Programming Language Design and Implementation, pages 59-69, 2001.
7. D. R. Engler, D. Y. Chen, and A. Chou. Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In Symposium on Operating Systems Principles, pages 57-72, 2001.
8. D. Freedman, R. Pisani, and R. Purves. Statistics. W. W. Norton, 1998.
9. Hibernate. Object/relational mapping and transparent object persistence for Java and SQL databases. In http://www.hibernate.org/, July 2004.
10. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In Programming Language Design and Implementation, San Diego, California, June 9-11 2003.
11. G. C. Necula, S. McPeak, and W. Weimer. CCured: Type-safe retrofitting of legacy code. In Principles of Programming Languages, pages 128-139. ACM, Jan. 2002.
12. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997.
13. W. Weimer and G. Necula. Finding and preventing run-time error handling mistakes. In Object-Oriented Programming, Systems, Languages, and Applications, Vancouver, British Columbia, Canada, Oct. 2004.
14. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In International Symposium of Software Testing and Analysis, 2002.