IEEE Std 1012-2016, IEEE Standard for System, Software and Hardware Verification and Validation, The Institute of Electrical and Electronics Engineers, Inc., 2016

IEEE Std 1012-2012, IEEE Standard for System and Software Verification and Validation, The Institute of Electrical and Electronics Engineers, Inc., 2012

Hafedh Mili, Ali Mili, Sherif Yacoub, and Edward A. Addy, Reuse-Based Software Engineering: Techniques, Organization, and Measurement, John Wiley & Sons, 2001.

Edward A. Addy, Verification and Validation in Software Product Line Engineering, Doctoral Dissertation, West Virginia University, 1999

Edward Addy, Ali Mili, and Sherif Yacoub, “A Case Study in Software Reuse,” Software Quality Journal, 8, 3 (November 1999), 169-195

Ali Mili, Edward A. Addy, Hafedh Mili, and Sherif Yacoub, “Toward an Engineering Discipline of Software Reuse,” IEEE Software, 16, 5 (September/October 1999), 22-31.

Edward A. Addy and Murali Sitaraman, “Formal Specification of COTS-Based Software: A Case Study,” Proceedings of the Fifth Symposium on Software Reusability, Los Angeles, May 1999, ACM Press, 83-91.

Edward A. Addy, “A Framework for Performing Verification and Validation in Reuse-Based Software Engineering,” Annals of Software Engineering, 5 (1998), 279-292.

Edward A. Addy, "The Application of V&V Within Reuse-Based Software Engineering," NASA Technical Report, NASA-IVV-96-019, 1996

Edward A. Addy, "Methodology of Software Nuclear Safety Analysis," Proceedings of the 5th International Symposium on Software Reliability Engineering, Monterey CA, Nov. 1994, IEEE Computer Society Press, 76-83.

J. B. Michael, E. A. Addy, S. C. Fortier, B. Junk and J. McHugh, "Software Safety and Economics," Proceedings of the Conference on Computer Assurance, Gaithersburg MD, June 1992, ACM Press, 97-101.

Edward A. Addy, "A Case Study in Isolation of Safety-Critical Software," Proceedings of the Conference on Computer Assurance, Gaithersburg MD, June 1991, ACM Press, 75-83.

Edward Addy and Lewis Graham, Jr., "An Iterative Approach to Quicksort," Computer Language, 4, 10 (1987)  67-70