The Daikon system for dynamic detection of likely invariants
Top Cited Papers
- 1 December 2007
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 69 (1-3) , 35-45
- https://doi.org/10.1016/j.scico.2007.01.015
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- A Technique for Verifying Component-Based SoftwareElectronic Notes in Theoretical Computer Science, 2005
- An overview of JML tools and applicationsInternational Journal on Software Tools for Technology Transfer, 2004
- Improving the adaptability of multi-mode systems via program steeringACM SIGSOFT Software Engineering Notes, 2004
- Early Identification of Incompatibilities in Multi-component UpgradesPublished by Springer Nature ,2004
- Discovering Algebraic Specifications from Java ClassesPublished by Springer Nature ,2003
- Extended static checking for JavaACM SIGPLAN Notices, 2002
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Predicting fault incidence using software change historyIEEE Transactions on Software Engineering, 2000
- Discovering models of software processes from event-based dataACM Transactions on Software Engineering and Methodology, 1998
- The use of self checks and voting in software error detection: an empirical studyIEEE Transactions on Software Engineering, 1990