archives

Browse by Subject: Testing and Debugging


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 14 entries

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 (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 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-05, 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-05a, 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, 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.

Giannakopoulou, Dimitra, Leavens, Gary T. and Sitaraman, Murali (2001) SAVCBS 2001 Proceedings Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001. Technical Report 01-09, Computer Science, Iowa State Univeristy.

Giannakopoulou, Dimitra, Leavens, Gary T. and Sitaraman, Murali (2001) SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems, Workshop at OOPSLA 2001. Technical Report 01-09a, Computer Science, Iowa State University.

Gurski, Marybeth (2001) The Class Validation System. Technical Report TR01-01, Department of Computer Science, Iowa State University.

Leavens, Gary T., Baker, Albert L. and Ruby, Clyde (2002) Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report 98-06q, Computer Science, Iowa State University.

Leavens, Gary T. and Cheon, Yoonsik (2004) The JML and JUnit Way of Unit Testing and its Implementation. Technical Report TR #04-02, Computer Science, Iowa State University.

Mahantesh, Hosamani, Harish, Narayanappa and Hridesh, Rajan (2007) Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture. Technical Report 07-07, Computer Science, Iowa State University.

Mahantesh, Hosamani, Harish, Narayanappa and Hridesh, Rajan (2007) Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture. Technical Report 07-07, Computer Science, Iowa State University.



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