Static specification inference using predicate mining
Top Cited Papers
- 10 June 2007
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 42 (6) , 123-134
- https://doi.org/10.1145/1250734.1250749
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Permissive interfacesACM SIGSOFT Software Engineering Notes, 2005
- DynaMinePublished by Association for Computing Machinery (ACM) ,2005
- Joining dataflow with predicatesPublished by Association for Computing Machinery (ACM) ,2005
- Synthesis of interface specifications for Java classesPublished by Association for Computing Machinery (ACM) ,2005
- Generalized Typestate Checking for Data Structure ConsistencyPublished by Springer Nature ,2005
- Mining Temporal Specifications for Error DetectionPublished by Springer Nature ,2005
- Design and implementation of a fine-grained software inspection toolIEEE Transactions on Software Engineering, 2003
- Discovering all most specific sentencesACM Transactions on Database Systems, 2003
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Closure analysis in constraint formACM Transactions on Programming Languages and Systems, 1995