|
5
|
A Framework for the Evaluation of Specification Miners Based on Finite State Machines
– Michael Pradel, Thomas R. Gross
|
|
13
|
Automatic generation of object usage specifications from large method traces
– Michael Pradel, Thomas R. Gross
- 2009
|
|
10
|
Checking Framework Interactions with Relationships
– Ciera Jaspan, Jonathan Aldrich
|
|
45
|
Tool-assisted unit test selection based on operational violations
– Tao Xie, David Notkin
- 2003
|
|
12
|
Automatic extraction of object-oriented observer abstractions from unit-test executions
– Tao Xie, David Notkin
- 2004
|
|
7
|
On the predictability of random tests for object-oriented software
– Ilinca Ciupa, Er Pretschner, Andreas Leitner, Manuel Oriol
|
|
7
|
Finding Errors in .NET with Feedback-Directed Random Testing
– Carlos Pacheco, Shuvendu K. Lahiri , Thomas Ball
- 2008
|
|
13
|
MSeqGen: Object-oriented unit-test generation via mining source code
– Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan De Halleux, Wolfram Schulte
- 2009
|
|
8
|
Graph-based mining of multiple object usage patterns
– T T Nguyen, H A Nguyen, N H Pham, J M Al-Kofahi, T N Nguyen
- 2009
|
|
5
|
Online inference and enforcement of temporal properties
– Mark Gabel, Zhendong Su
- 2010
|
|
4
|
Random Unit-Test Generation with MUT-aware Sequence Recommendation
– Wujie Zheng, Qirun Zhang, Michael Lyu, Tao Xie
|
|
3
|
DyGen: Automatic Generation of High-coverage Tests via Mining Gigabytes of Dynamic Traces
– Suresh Thummalapenta, Jonathan De Halleux, Nikolai Tillmann, Scott Wadsworth
|
|
2
|
Detecting missing method calls
– M Monperrus, M Bruch, M Mezini
|
|
1
|
GenRed: A tool for generating and reducing object-oriented test cases
– H Jaygarl, K-S Lu, C K Chang
|
|
15
|
Artoo: Adaptive random testing for object-oriented software
– Ilinca Ciupa, Andreas Leitner, Manuel Oriol
- 2008
|
|
13
|
Mutually enhancing test generation and specification inference
– Tao Xie, David Notkin
- 2003
|
|
17
|
Javert: Fully Automatic Mining of General Temporal Properties from Dynamic Traces
– M Gabel, Z Su
- 2008
|
|
5
|
Mining parametric specifications
– C Lee, F Chen, G Ro¸su
- 2011
|
|
5
|
BERT: BEhavioral Regression Testing
– Alessandro Orso, Tao Xie
|
