Ashaveena Perumandla

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Yoonsik Cheon, Ashaveena Perumandla
Specifying and checking method call sequences of Java programs. Softw. Qual. J. 15 (1) (2007)
Yoonsik Cheon, Myoung Kim, Ashaveena Perumandla
A Complete Automation of Unit Testing for Java Programs. Software Engineering Research and Practice (2005)
Yoonsik Cheon, Ashaveena Perumandla
Specifying and Checking Method Call Sequences in JML. Software Engineering Research and Practice (2005)