Roy P. Tan and Stephen H. Edwards. An assertion checking wrapper design for Java. In SAVCBS 2003: Specification and Verification of Component Based Systems, Technical Report #03-11, Dept. of Computer Science, Iowa State University, Ames, IA, August 2003, pp. 29–34.

Stephen H. Edwards, editor. SAVCBS 2003: Specification and Verification of Component Based Systems. Technical Report #03-11, Dept. of Computer Science, Iowa State University, Ames, IA, August 2003.

Stephen H. Edwards. Using test-driven development in the classroom: Providing students with concrete feedback on performance. In Proceedings of the International Conference on Education and Information Systems: Technologies and Applications (EISTA'03), International Institute of Informatics and Systemics, 2003, pp. 421–426.

Stephen H. Edwards and Diane M. Hodge. Lessons learned by comparing on-line education strategies across disciplines. In Proceedings of the International Conference on Education and Information Systems: Technologies and Applications (EISTA'03), International Institute of Informatics and Systemics, 2003, pp. 415–420.

Stephen H. Edwards. An object-oriented micro-kernel supporting transparent distribution of embedded control applications. In Proceedings of the International Conference on Computer, Communication and Control Technologies: CCCT'03, Vol. 1, International Institute of Informatics and Systemics, 2003, pp. 129–134.

Stephen H. Edwards. Web-CAT: Assessing student programs on their testing efforts. Presented at the Virginia Tech Department of Computer Science research seminar, April 23, 2003.

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, and Stephen Edwards. Model variables: Cleanly supporting abstraction in Design by Contract. Technical Report #03-10, Dept. of Computer Science, Iowa State University, Ame, IA, March 2003.

Stephen H. Edwards. Automatically assessing assignments that use test-driven development. Presented at the 2003 Workshop on Teaching Software Testing, February, 2003.

Jerry Francis, Fred Wang, and Stephen Edwards. PEBB plug and play hardware and software control architecture. Presented at the ONR Advanced Electrical Power System Thrust Science and Technology Review and Workshop, November 4-7, 2002.

Stephen H. Edwards. Making the case for assertion checking wrappers. In Proceedings of the RESOLVE Workshop 2002. Technical Report TR-02-11, Dept. of Computer Science, Virginia Tech, Blacksburg, VA, June 2002, pp. 28-42.