A Complete Automation of Unit Testing for Java Programs. - Yoonsik Cheon; Myoung Kim; Ashaveena Perumandla (Software Engineering Research and Practice, 2005)

Specifying and Checking Method Call Sequences in JML. - Yoonsik Cheon; Ashaveena Perumandla (Software Engineering Research and Practice, 2005)

Specifying and checking method call sequences of Java programs. - Yoonsik Cheon; Ashaveena Perumandla (Softw. Qual. J., 2007)