Anthony Allowatt and Stephen H. Edwards. IDE support for test-driven development and automated grading in both Java and C++. Poster presented at the eTX poster session of OOPSLA'05: the 20th Annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications, October 2005.

Stephen H. Edwards. Adding software testing to programming assignments. Tutorial at the 20th Annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications, October 2005.

Stephen H. Edwards, editor. SAVCBS 2005: Specification and Verification of Component Based Systems. Technical Report #05-19, Dept. of Computer Science, Iowa State University, Ames, IA, September 2005.

Hussein Vastani, Stephen H. Edwards, and Manuel Pérez-Quiñones. Supporting on-line direct markup and evaluation of students' projects. In Proceedings of the 2005 American Society for Engineering Education Annual Conference and Exposition, ASEE, 2005, pp. 13595-13608.

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, and Stephen Edwards. Model variables: Cleanly supporting abstraction in Design by Contract. Software Practice and Experience, 35(6): 583-599, May 2005.

Stephen H. Edwards. Using software testing to improve programming assignments and grading. Workshop at the 36th SIGCSE Technical Symposium on Computer Science Education, February 2005.

Levent Yilmaz and Stephen Edwards. On the analysis and detection of collaborative behavior conflicts within the DEVS formalism. Invited paper in the Proceedings of the 2004 UK Simulation Workshop, University of Birmingham, UK, 2004.

Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth, Contract-checking wrappers for C++ classes IEEE. IEEE Transactions on Software Engineering, 30(11): 794-810, November 2004.

Vladimir Glina and Stephen H. Edwards. Using wrappers to add run-time verification capability to Java Beans. 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. 122-125.

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.