|
|
Mining Operational Preconditions
– Andrzej Wasylkowski, Andreas Zeller
|
|
1
|
Leveraging Test Generation and Specification Mining for Automated Bug Detection without False Positives
– Michael Pradel, Thomas R. Gross
|
|
14
|
Symbolic mining of temporal specifications
– Mark Gabel, Zhendong Su
- 2008
|
|
13
|
Automatic generation of object usage specifications from large method traces
– Michael Pradel, Thomas R. Gross
- 2009
|
|
30
|
Detecting Object Usage Anomalies
– Andrzej Wasylkowski, Andreas Zeller, Christian Lindig
- 2007
|
|
|
Testing Mined Specifications ∗
– Mark Gabel, Zhendong Su
|
|
|
2.2 Formal Analysis......................................... 7
– Mark Gregory Gabel, Premkumar Devanbu, Todd Green
|
|
|
ABSTRACT
– unknown authors
|
|
13
|
Generating Test Cases for Specification Mining
– Valentin Dallmeier, Christoph Mallon, Sebastian Hack, Andreas Zeller
|
|
25
|
Muvi: Automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs
– Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou
- 2007
|
|
|
Mining API Specifications from Source Code for Improving Software Reliability
– MITHUN PUTHIGE ACHARYA
|
|
16
|
Path-Sensitive Inference of Function Precedence Protocols
– Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan
- 2006
|
|
26
|
Static Specification Mining Using Automata-based Abstractions
– Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia
- 2007
|
|
|
1 Static Specification Mining Using Automata-Based Abstractions
– Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia
|
|
|
ETH Zurich
– Michael Pradel, Thomas R. Gross
|
|
44
|
From uncertainty to belief: Inferring the specification within
– Ted Kremenek, Paul Twohey, Godmar Back, Andrew Ng, Dawson Engler
- 2006
|
|
5
|
A Framework for the Evaluation of Specification Miners Based on Finite State Machines
– Michael Pradel, Thomas R. Gross
|
|
|
Protocol Inference using Static Path Profiles
– Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan
|
|
12
|
MAPO: Mining and recommending API usage patterns
– Hao Zhong, Lu Zhang, Hong Mei
- 2009
|
