Symstra: A framework for generating object-oriented unit tests using symbolic execution

T Xie, D Marinov, W Schulte, D Notkin - … , TACAS 2005, Held as Part of the …, 2005 - Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an
invocation depends on the method's arguments and the state of the receiver at the …

MSeqGen: Object-oriented unit-test generation via mining source code

S Thummalapenta, T Xie, N Tillmann… - Proceedings of the 7th …, 2009 - dl.acm.org
An objective of unit testing is to achieve high structural coverage of the code under test.
Achieving high structural overage of object-oriented code requires desirable method-call …

The ASTOOT approach to testing object-oriented programs

RK Doong, PG Frankl - ACM Transactions on Software Engineering and …, 1994 - dl.acm.org
This article describes a new approach to the unit testing of object-oriented programs, a set of
tools based on this approach, and two case studies. In this approach, each test case …

[PDF][PDF] Case studies on testing object-oriented programs

RK Doong, PG Frankl - Proceedings of the symposium on Testing …, 1991 - dl.acm.org
This paper describes a new approach to testing objectoriented programs, a set of tools
based on this approach, and two case studies. Test cases consist of pairs of sequences of …

Automated testing of classes

U Buy, A Orso, M Pezze - ACM SIGSOFT Software Engineering Notes, 2000 - dl.acm.org
Programs developed with object technologies have unique features that often make
traditional testing methods inadequate. Consider, for instance, the dependence between the …

Improving structural testing of object-oriented programs via integrating evolutionary testing and symbolic execution

K Inkumsah, T Xie - 2008 23rd IEEE/ACM International …, 2008 - ieeexplore.ieee.org
Achieving high structural coverage such as branch coverage in object-oriented programs is
an important and yet challenging goal due to two main challenges. First, some branches …

TACCLE: a methodology for object-oriented software testing at the class and cluster levels

HY Chen, TH Tse, TY Chen - ACM Transactions on Software …, 2001 - dl.acm.org
Object-oriented programming consists of several different levels of abstraction, namely, the
algorithmic level, class level, cluster level, and system level. The testing of object-oriented …

In black and white: an integrated approach to class-level testing of object-oriented programs

HY Chen, TH Tse, FT Chan, TY Chen - ACM Transactions on software …, 1998 - dl.acm.org
Because of the growing importance of object-oriented programming, a number of testing
strategies have been proposed. They are based either on pure black-box or white-box …

Seeding strategies in search‐based unit test generation

JM Rojas, G Fraser, A Arcuri - Software Testing, Verification …, 2016 - Wiley Online Library
Search‐based techniques have been applied successfully to the task of generating unit tests
for object‐oriented software. However, as for any meta‐heuristic search, the efficiency …

An empirical comparison of automated generation and classification techniques for object-oriented unit testing

M d'Amorim, C Pacheco, T Xie… - 21st IEEE/ACM …, 2006 - ieeexplore.ieee.org
Testing involves two major activities: generating test inputs and determining whether they
reveal faults. Automated test generation techniques include random generation and …