PR-Miner
- 1 September 2005
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 30 (5), 306-315
- https://doi.org/10.1145/1095430.1081755
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- A tool for mining defect-tracking systems to predict fault-prone filesPublished by Institution of Engineering and Technology (IET) ,2004
- Mining version control systems for FACs (frequently applied changes)Published by Institution of Engineering and Technology (IET) ,2004
- Empirical project monitor: a tool for mining multiple project dataPublished by Institution of Engineering and Technology (IET) ,2004
- Template mining in source-code digital librariesPublished by Institution of Engineering and Technology (IET) ,2004
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Algorithms for association rule mining — a general survey and comparisonACM SIGKDD Explorations Newsletter, 2000
- Automatic generation of invariants and intermediate assertionsTheoretical Computer Science, 1997
- Subgoal inductionCommunications of the ACM, 1977
- Finding Invariant assertions for proving programsPublished by Association for Computing Machinery (ACM) ,1975
- The synthesis of loop predicatesCommunications of the ACM, 1974