|
5
|
On test data generation of object-oriented software
– Andrea Arcuri, Xin Yao (advisor
- 2007
|
|
1
|
Directed Random Testing
– Carlos Pacheco, Daniel N. Jackson
- 2009
|
|
|
Theoretical Runtime Analysis in Search Based Software Engineering
– Andrea Arcuri, Per Kristian Lehre, Xin Yao
|
|
129
|
Search-Based Software Test Data Generation: A Survey
– Phil McMinn
- 2004
|
|
17
|
Augmenting automatically generated unit-test suites with regression oracle checking
– Tao Xie
- 2006
|
|
|
OCAT: Object Capture based Automated Testing ABSTRACT
– Hojun Jaygarl, Tao Xie
|
|
2
|
Whispec: White-box Testing of Libraries Using Declarative Specifications
– Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
|
|
39
|
Test input generation for Java containers using state matching
– Willem Visser, Corina S. Păsăreanu, Radek Pelánek
- 2006
|
|
8
|
Automatically identifying special and common unit tests for object-oriented programs
– Tao Xie
- 2005
|
|
|
FlagRemover: A Testability Transformation for Transforming Loop Assigned Flags 1
– David W. Binkley, Mark Harman, Kiran Lakhotia
|
|
|
Genetic Model based Testing: a Framework and a Case Study
– F. Ipate, R. Lefticaru
|
|
|
Climbing and Alternating Variable Method. We believe that
– Andrea Arcuri, Per Kristian Lehre, Xin Yao
|
|
355
|
DART: Directed automated random testing
– Patrice Godefroid, Nils Klarlund, Koushik Sen
- 2005
|
|
15
|
The way forward for unifying dynamic test case generation: The optimisation-based approach
– Nigel Tracey, John Clark, Keith Mander
- 1998
|
|
29
|
An empirical comparison of automated generation and classification techniques for object-oriented unit testing
– Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst
- 2006
|
|
74
|
Feedback-directed random test generation
– Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball
- 2007
|
|
8
|
Delta execution for efficient state-space exploration of object-oriented programs
– Marcelo d'Amorim, Steven Lauterburg, Darko Marinov
- 2007
|
|
3
|
Optimized execution of deterministic blocks in Java PathFinder
– Ahmed Sobeih, Darko Marinov
- 2006
|
|
212
|
Cute: a concolic unit testing engine for c
– Koushik Sen, Darko Marinov, Gul Agha
- 2005
|
