my research interests

my research interests include component techniques, testing, and innovative teaching...
 
 

In the Spotlight

JUnit is a unit-testing framework for writing compilable, fully automated unit tests for Java classes. It provides an excellent basis for students to learn about more systematic approaches to testing their own code.
 

Latest News / Web-CAT Developments

Recent Publications

A language providing automated self-testing for formally specified components PDF Print E-mail
Sunday, 31 October 2004

Roy P. Tan and Stephen H. Edwards. Designing a programming language to provide automated self-testing for formally specified software components. In SAVCBS 2004: Specification and Verification of Component Based Systems, Technical Report \#04-09, Dept. of Computer Science, Iowa State University, Ames, IA, August 2004, pp. 130-133.
 
[ Back ]