Automatic steering of behavioral model inference
- 24 August 2009
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 345-354
- https://doi.org/10.1145/1595696.1595761
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Automatic generation of software behavioral modelsPublished by Association for Computing Machinery (ACM) ,2008
- The Daikon system for dynamic detection of likely invariantsScience of Computer Programming, 2007
- Efficient mining of iterative patterns for software specification discoveryPublished by Association for Computing Machinery (ACM) ,2007
- SMArTICPublished by Association for Computing Machinery (ACM) ,2006
- PerracottaPublished by Association for Computing Machinery (ACM) ,2006
- Addressing software dependability with statistical and machine learning techniquesPublished by Association for Computing Machinery (ACM) ,2005
- Predicting problems caused by component upgradesPublished by Association for Computing Machinery (ACM) ,2003
- Semantic anomaly detection in online data sourcesPublished by Association for Computing Machinery (ACM) ,2002
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Discovering models of software processes from event-based dataACM Transactions on Software Engineering and Methodology, 1998