Systematic Testing of Data Abstractions Based on Software Specifications. - Stuart H. Zweben; Wayne D. Heym; Jon Kimmich (Softw. Test. Verification Reliab., 1992)

Part II: specifying components in RESOLVE. - Stephen H. Edwards; Wayne D. Heym; Timothy J. Long; Murali Sitaraman; Bruce W. Weide (ACM SIGSOFT Softw. Eng. Notes, 1994)

Reverse Engineering of Legacy Code Exposed. - Bruce W. Weide; Wayne D. Heym; Joseph E. Hollingsworth (ICSE, 1995)

Characterizing observability and controllability of software components. - Bruce W. Weide; Stephen H. Edwards; Wayne D. Heym; Timothy J. Long; William F. Ogden (ICSR, 1996)

Reasoning about Software-Component Behavior. - Murali Sitaraman; Steven Atkinson; Gregory Kulczycki; Bruce W. Weide; Timothy J. Long; Paolo Bucci; Wayne D. Heym; Scott M. Pike; Joseph E. Hollingsworth (ICSR, 2000)

Algorithms and object-oriented programming: bridging the gap. - Paolo Bucci; Wayne D. Heym; Timothy J. Long; Bruce W. Weide (SIGCSE, 2002)

Issues in performance certification for high-level automotive control software. - Bruce W. Weide; Paolo Bucci; Wayne D. Heym; Murali Sitaraman; Giorgio Rizzoni (ACM SIGSOFT Softw. Eng. Notes, 2005)

Which pointer errors do students make? - Bruce M. Adcock; Paolo Bucci; Wayne D. Heym; Joseph E. Hollingsworth; Timothy J. Long; Bruce W. Weide (SIGCSE, 2007)

Incremental Benchmarks for Software Verification Tools and Techniques. - Bruce W. Weide; Murali Sitaraman; Heather K. Harton; Bruce M. Adcock; Paolo Bucci; Derek Bronish; Wayne D. Heym; Jason Kirschenbaum; David Frazier (VSTTE, 2008)

Traditional assignment considered harmful. - Scott M. Pike; Wayne D. Heym; Bruce M. Adcock; Derek Bronish; Jason Kirschenbaum; Bruce W. Weide (OOPSLA Companion, 2009)

Building a push-button RESOLVE verifier: Progress and challenges. - Murali Sitaraman; Bruce M. Adcock; Jeremy Avigad; Derek Bronish; Paolo Bucci; David Frazier; Harvey M. Friedman; Heather K. Harton; Wayne D. Heym; Jason Kirschenbaum; Joan Krone; Hampton Smith; et al. (Formal Aspects Comput., 2011)

A Language for Building Verified Software Components. - Gregory Kulczycki; Murali Sitaraman; Joan Krone; Joseph E. Hollingsworth; William F. Ogden; Bruce W. Weide; Paolo Bucci; Charles T. Cook; Svetlana Drachova-Strang; Blair Durkee; Heather K. Harton; Wayne D. Heym; et al. (ICSR, 2013)

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. - Wayne D. Heym; Paolo A. G. Sivilotti; Paolo Bucci; Murali Sitaraman; Kevin Plis; Joseph E. Hollingsworth; Joan Krone; Nigamanth Sridhar (CSEE&T, 2017)