S. Dalal, J. Poore, M. Cohen, Innovations in Software Engineering for Defense Systems, The National Academies Press, 2003.

S. Prowell, C. Trammell, R. Linger, J. Poore, Cleanroom Software Engineering: Technology and Process, Addison-Wesley-Longman, 1999.

J. Poore, C. Trammell, Cleanroom Software Engineering: A Reader, Blackwell, June 1996.

J. Poore, J. Kirkland, Supercomputers: A Key to U.S. Scientific, Technological, and Industrial Preeminence, Praeger, 1987.

S. Prowell, J. Poore, "Computing system reliability using Markov chain usage models", Journal of Systems and Software, Vol. 73, No. 2, October 2004, 215 - 225.

J. Poore, "A Tale of Three Disciplines ...and a Revolution", IEEE Computer, Vol. 37, No. 1, January 2004, 30 - 36.

S. Prowell, J. Poore, "Foundations of sequence-based software specification", IEEE Transactions on Software Engineering, Vol. 29, No. 5, May 2003, 417--429.

D. Kelly, J. Poore, "From Good to Great: Life-style Improvements Can Make the Difference", Cutter IT Journal, Vol. 13, No. 2, February 2000, 7--14.

J. Poore, G. Walton, "A constraint-based approach to representation of software usage models", Information and Software Technology, Vol. 42, No. 12, September 2000.

G. Walton, J. Poore, "Measuring complexity and coverage of software specifications", Information and Software Technology, Vol. 42, No. 12, September 2000.

K. Sayre, J. Poore, "Stopping criteria for statistical testing", Information and Software Technology, Vol. 42, No. 12, September 2000.

S. Prowell, "{TML}: A description language for {Markov} chain usage models", Information and Software Technology, Vol. 42, No. 12, September 2000, 835--844.

G. Walton, J. Poore, "Generating transition probabilities to support model-based software testing", Software: Practice and Experience, Vol. 30, No. 10, August 2000, 1095--1106.

S. Prowell, J. Poore, "Sequence-Based Software Specification for Deterministic Systems", Software: Practice and Experience, Vol. 28, No. 3, March 1998, 329--344.

J. Poore, C. Trammell, "Engineering practices for statistical testing", Crosstalk, April 1998.

J. Poore, C. Trammell, "Bringing respect to testing through statistical science", American Programmer (now Cutter IT Journal), August 1997.

G. Walton, J. Poore, C. Trammell, "Statistical Testing of Software Based on a Usage Model", Software: Practice and Experience, Vol. 25, No. 1, January 1995, 97--108.

J. Whittaker, M. Thomason, "A Markov Chain Model for Statistical Software Testing", IEEE Transactions on Software Engineering, Vol. 20, No. 10, October 1994, 812--824.

J. Poore, H. Mills, D. Mutchler, "Planning and certifying software system reliability", IEEE Software, Vol. 10, No. 1, January 1993, 88-99.

J. Whittaker, J. Poore, "Markov Analysis of Software Specifications", ACM Transactions on Software Engineering and Methodology, Vol. 2, No. 1, January 1993, 93-106.

C. Trammell, J. Poore, "A Group Process for Defining Local Software Quality: Field Applications and Validation Experiments", Software: Practice and Experience, Vol. 22, No. 8, August 1992.

S. Prowell, J. Poore, "Reliability Computation for Usage-Based Testing", World Scientific, October 2005, Ch 27 pp383-394.

S. Prowell, "A Stopping Criterion for Statistical Testing", Proceedings of the 37th Hawai'i International Conference on System Sciences (HICSS'37), January 2004.

S. Prowell, "{JUMBL}: A Tool for Model-Based Statistical Testing", Proceedings of the 36th Annual Hawaii International Conference on System Sciences ({HICSS'03}), January 2003.

K. Sayre, J. Poore, "A Reliability Estimator for Model Based Testing", Proceedings of the Thirteenth Symposium on Software Reliability Engineering, November 2002.

K. Sayre, J. Kenner, P. Jones, "Safety Models: An Analytical Tool for Risk Analysis of Medical Device Systems", Proceedings of the Fourteenth IEEE Symposium on Computer-Based Medical Systems, July 2001.

S. Prowell, "Developing Black Box Specifications Through Sequence Enumeration", Science and Engineering for Software Development (SESD'99), May 1999.

K. Sayre, J. Poore, "Partition testing with usage models", Science and Engineering for Software Development (SESD'99), May 1999.

J. Poore, C. Trammell, "Application of statistical science to testing and evaluating software intensive systems", Science and Engineering for Software Development (SESD'99), May 1999.

S. Prowell, "Impact of Sequence-Based Software Specification on Statistical Software Testing", Proceedings of the Second International Software Quality Week Europe, November 1998.

C. Trammell, J. Poore, "Experimental Control in Software Reliability Certification", Proceedings of the Nineteenth Annual Software Engineering Workshop, 1994.

D. Fetzer, "Using Box Structures with the Z Notation", Proceedings of the Hawaii International Conference on System Sciences (HICSS-25), 1992.

L. Lin, "Management of Requirements Changes in Sequence-Based Software Specifications", The University of Tennessee, December 2006.

K. Sayre, "Improved techniques for software testing based on {Markov} chain usage models", The University of Tennessee, December 1999.

S. Prowell, "Sequence-Based Software Specification", The University of Tennessee, May 1996.

D. Pearson, "Generalized Testing Chains", The University of Tennessee, 2000.

J. Morales, "Test Planning for Software Reuse", The University of Tennessee, 1997.

J. Gibson, "Design and Implementation of the Cleanroom Process Database", The University of Tennessee, May 1995.

C. Trammell, "An Investigation of the Reliability and Validity of a Group Process for Defining Local Software Quality", The University of Tennessee, April 1991.

S. Prowell, "Computations for {Markov} Chain Usage Models", No. UT-CS-03-505, The University of Tennessee, 2003.

J. Carter, "Automotive Power Window Control Specification", , August 2007.