Title: Kiasan/KUnit: Automatic Test Case Generation and 
       Analysis Feedback for Open Object-oriented Systems

Authors: Xianghua Deng and  Robby and John Hatcliff

Significant progresses have been made on using symbolic ex- 
ecution to generate unit test suites, but existing frameworks 
are still struggling with several issues including poor perfor- 
mance on heap data, lack of coverage goals tied to the space 
of heap configurations, and lack of support for dealing with 
open ob ject-oriented systems and generating mock ob jects. 
In this paper, we demonstrate how a static analysis feed- 
back and unit test case generation framework, KUnit, built 
on the Bogor/Kiasan symbolic execution engine addresses 
these issues by: (a) providing an effective unit test case gen- 
eration for sequential heap-intensive Java programs (whose 
computation structures are incomplete – open systems), (b) 
showing how the scope and cost of Kiasan/KUnit’s analy- 
sis and test case generation can be controlled via notions of 
heap configuration coverage, and (c) leveraging method con- 
tract information to better deal with open ob ject-oriented 
systems and to support automatic mock ob ject creation. In 
a broad experimental study on twenty-two Java data struc- 
ture modules, we show that KUnit is able to: (a) achieve 
100% feasible branch coverage on almost all methods by 
using only small heap configurations, (b) improve on com- 
peting tools for coverage achieved, size of test suites, and 
time to generate test suites.