|
Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems |
- Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems, April 2007.
Xianghua (William) Deng, Robby, John Hatcliff.
Technical Report, SAnToS-TR2007-1 (submitted for publication).
pdf (extended version, last updated: April 23, 2007)
The extended version includes: (1) expanded experiment data for KUnit (using lazy/lazier# initialization algorithms), (2) an expanded report on java.util.TreeMap coverage analysis, (3) expanded jCUTE experiment data and comparison, (3) Kiasan's (lazy/lazier/lazier#) formal semantics and relative soundness and completeness proofs, and (4) KUnit (lazy/lazier/lazier#) reverse execution formal semantics and consistency proofs wrt. Kiasan's formal semantics.
Experiment data: lazy initialization, lazier# initialization
|
