SQRL: Publications

About these Documents

This page contains links to selected recent publications available for download. The format used for all papers is Adobe's Portable Document Format (PDF). To read them, you will need a PDF viewer, such as Adobe Acrobat Reader.

Some papers are available from the journal's home page, but a password is required. Click on the journal name for more information.

Some links leave the SQRL site, and thus may stop working without notice; please let us know if you find a broken link. Journal names are hyperlinked to the journal's home page, wherever possible.

Notice of Copyright This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

General

Kelly, D. and J. Poore, ``From Good to Great: Life-style Improvements Can Make the Difference ,'' Cutter IT Journal , v. 13, n. 2, pp. 7-14, February 2000.

Prowell, Stacy J., Carmen J. Trammell, Richard C. Linger, and Jesse H. Poore, Cleanroom Software Engineering: Technology and Process . Addison-Wesley: Reading, Massachusetts, 1999.
This text discusses Cleanroom techniques, mapping to the SEI CMM, and presents a substantial case study.
Copyright © 1999 Addison-Wesley Longman, Inc.

Gibson, John P., ``Design and Implementation of the Cleanroom Process Database,'' (M.S. Thesis) The University of Tennessee, Knoxville, May 1995.
This thesis presents the design and implementation for the Cleanroom Process Database (CPD), a database to support a Cleanroom approach to software engineering.
Copyright © 1995 John Gibson

Software Specification

Prowell, Stacy J., ``Developing Black Box Specifications Through Sequence Enumeration,'' Proceedings of the Harlan Mills Colloquium, IEEE, May 1999. [Slides]
A [...] ``black box'' specification can be developed from behavioral requirements in a systematic manner through the process of sequence enumeration. This process results in an arguably complete, consistent, and traceable specification of external system behavior...
Copyright © 1999 IEEE

Prowell, S. and J. Poore, ``Sequence-Based Software Specification of Deterministic Systems ,'' Software: Practice and Experience , v. 28, n. 3, pp. 329-44, March 1998.

Prowell, Stacy J., ``Impact of Sequence-Based Software Specification on Statistical Software Testing,'' Proceedings of the Second International Quality Week Europe, Software Research Institute, Inc., November 1998. [Slides]
The combination of sequence-based software specification with statistical software testing yields direct benefits of reduced start-up and communication overhead and the potential for automated generation of initial usage models and test oracles...

Prowell, Stacy J., ``Sequence-Based Software Specification,'' (Ph.D. Dissertation) University of Tennessee, Knoxville, May 1996.
The primary result of this research is the sequence enumeration method of specification writing. Straightforward, systematic enumeration of all sequences to produce an arguably complete, consistent and correct specification is made practical by a collection of techniques based on controlling the growth of an inherently combinatorial process...
Copyright © 1996 Stacy Prowell

Fetzer, Daniel T. ``Using Box Structure with the Z Notation,'' Proceedings of HICSS-25, IEEE, 1992.
The Box Structure Method (BSM) provides a framework that can be used to introduce formality into the requirements specification stage of software development. A method of requirments specification is presented which integrates the Z notation with BSM...
Copyright © 1992 IEEE

Software Testing

Poore, J., G. Walton, and J. Whittaker, ``A constraint-based approach to representation of software usage models ,'' Information and Software Technology , v. 42, n. 12, September 2000.

Walton, G. and J. Poore, ``Measuring complexity and coverage of software specifications ,'' Information and Software Technology , v. 42, n. 12, September 2000.

Sayre, K. and J. Poore, ``Stopping criteria for statistical testing ,'' Information and Software Technology , v. 42, n. 12, September 2000.

Sayre, Kirk D., ``Improved Techniques for Software Testing Based on Markov Chain Usage Models,'' (Ph.D. Dissertation) The University of Tennessee, Knoxville, December 1999.
This work presents a number of new analytical results and recommendations for statistical testing based on Markov chain usage models.
Copyright © 1999 Kirk Sayre

Sayre, Kirk D., Jesse H. Poore, ``Partition Testing With Usage Models,'' Proceedings of the Harlan Mills Colloquium, IEEE, May 1999.
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing...
Copyright © 1999 IEEE

Poore, J. and C. Trammell, ``Application of Statistical Science to Testing and Evaluating Software Intensive Systems,'' in Science and Engineering in Software Development, IEEE Computer Society , 18 May 1999.

Poore, J. and C. Trammell, ``Engineering Practices for Statistical Testing ,'' Crosstalk , April 1998.

Bringing Respect to Testing Through Statistical Science

American Programmer

IEEE Copyright Notice Personal use of this material is permitted. However, permission to reprint / republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
See: IEEE Provisional Copyright Policies