archives

EPrints submitted by Yoonsik Cheon


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Click here to see user's record.

User has submitted 9 EPrints

Cheon, Yoonsik, Leavens, Gary T., Sitaraman, Murali and Edwards, Stephen (2003) Model Variables: Cleanly Supporting Abstraction in Design By Contract. Technical Report TR #03-10a, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Gary T., Leavens (2003) A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Technical Report TR 01-12c, Dept. of Computer Science, Iowa State University.

Cheon, Yoonsik, Leavens, Gary T., Sitaraman, Murali and Edwards, Stephen (2003) Model Variables: Cleanly Supporting Abstraction in Design By Contract. Technical Report TR #03-10, Department of Computer Science, Iowa State University.

Cheon, Yoonsik (2003) A Runtime Assertion Checker for the Java Modeling Language. PhD thesis, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Gary T., Leavens (2001) A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Technical Report TR 01-12a, Dept. of Computer Science, Iowa State University.

Cheon, Yoonsik and Leavens, Gary T. (2002) A Runtime Assertion Checker for the Java Modeling Language (JML). Technical Report TR #02-05a, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Leavens, Gary T. (2002) A Runtime Assertion Checker for the Java Modeling Language (JML). Technical Report TR #02-05, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Leavens, Gary T. (2001) A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Technical Report TR #01-12, Department of Computer Science, Iowa State University.

Cheon, Yoonsik and Gary T., Leavens (2001) A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Technical Report TR 01-12, Dept. of Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu