Mining Temporal Specifications for Error Detection
Top Cited Papers
- 1 January 2005
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Synthesis of interface specifications for Java classesPublished by Association for Computing Machinery (ACM) ,2005
- Bug isolation via remote program samplingPublished by Association for Computing Machinery (ACM) ,2003
- Debugging temporal specifications with concept analysisPublished by Association for Computing Machinery (ACM) ,2003
- Automatic extraction of object-oriented component interfacesPublished by Association for Computing Machinery (ACM) ,2002
- ESPACM SIGPLAN Notices, 2002
- Mining specificationsPublished by Association for Computing Machinery (ACM) ,2002
- Automatically validating temporal safety properties of interfacesLecture Notes in Computer Science, 2001
- Enforcing high-level protocols in low-level softwareACM SIGPLAN Notices, 2001
- Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems CodePublished by Defense Technical Information Center (DTIC) ,2001
- EraserACM Transactions on Computer Systems, 1997