| 2007 | ||
|---|---|---|
| 2 | Yoonsik Cheon, Carlos E. Rubio-Medrano: Random Test Data Generation for Java Classes Annotated with JML Specifications. Software Engineering Research and Practice 2007: 385-391 | |
| 1 | Hyotaeg Jung, Carlos E. Rubio-Medrano, W. Eric Wong, Yoonsik Cheon: Architectural Assertions: Checking Architectural Constraints at Run-Time. Software Engineering Research and Practice 2007: 604-607 | |
| 1 | Yoonsik Cheon | [1] [2] |
| 2 | Hyotaeg Jung | [1] |
| 3 | W. Eric Wong | [1] |