| |
| 2007 | ||
|---|---|---|
| 3 | EE | Yoonsik Cheon, Ashaveena Perumandla: Specifying and checking method call sequences of Java programs. Software Quality Journal 15(1): 7-25 (2007) |
| 2005 | ||
| 2 | Yoonsik Cheon, Myoung Kim, Ashaveena Perumandla: A Complete Automation of Unit Testing for Java Programs. Software Engineering Research and Practice 2005: 290-295 | |
| 1 | Yoonsik Cheon, Ashaveena Perumandla: Specifying and Checking Method Call Sequences in JML. Software Engineering Research and Practice 2005: 511-516 | |
| 1 | Yoonsik Cheon | [1] [2] [3] |
| 2 | Myoung Kim | [2] |