SQRL

HOME | Projects | Publications

Publications of SQRL

From: To: Keyword filter: Cut & paste mode:

Books of international scope

J. Poore, S. Prowell, Software Engineering for Embedded Systems, Fraunhofer IESE and Tech. Univ. Kaiserslautern, 2008.

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.

International journals

L. Lin, S. Prowell, J. Poore, "An axiom system for sequence-based specification", Theoretical Computer Science, Vol. 411, 2010, 360-376.

L. Lin, S. Prowell, J. Poore, "The impact of requirements changes on specifications and state machines", Software: Practice and Experience, Vol. 39, No. 6, 2009, 573-610.

L. Lin, J. Poore, "Pushing requirements changes through to changes in specifications", Frontiers of Computer Science in China, Vol. 2, No. 4, 2008, 331-343.

C. Robinson-Mallet, R. Heirons, J. Poore, P. Liggesmeyer, "Software Integration Testing Based on Communication Coverage Criteria and Partial Model Generation", Software Quality Journal, Vol. 16, 2008, 185-211.

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.

Book chapters (international scope)

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

International conferences

J. Carter, L. Lin, J. Poore, "Automated Functional Testing of Simulink Control Models", Proceedings of 1st Workshop on Model-based Testing in Practice (MoTiP 2008), 2008.

L. Lin, J. Poore, "Pushing Requirements Changes through to Changes in Specifications", Proceedings of the Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, June 2008.

S. Vilkomir, T. Swain, J. Poore, "Combinatorial Test Case Selection with Markovian Usage Models", Proceedings of IEEE Computer Society 5th International Conference on Information Technology: New Generations (INTG, 2008), 2008.

S. Vilkomir, T. Swain, J. Poore, K. Clarno, "Modeling input space for testing scientific computational software: a case study", Proceedings of the International Conference on Computational Science 2008 (ICCS 2008), June 2008; Lecture Notes in Computer Science (LNCS), Vol. 5103, 291-300.

L. Lin, J. Carter, J. Poore, "Using state machines to model and manage requirements changes and specification changes", Proceedings of the 51th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2008), 2008, 523-526.

C. Robinson-Mallet, R. Heirons, J. Poore, T. Bauer, "Using Partial Models to Support the Testing of Distributed Systems", IASTED International Conference on Software Engineering Applications Conference, November 2007.

J. Carter, J. Poore, "Sequence-based Specification of Feedback Control Systems in Simulink", Proceedings of the 2007 Conference of the IBM Center for Advanced Studies on Collaborative Research, CASCON ‘07, 2007, 332-345.

T. Bauer, T. Beletski, F. Boehr, R. Eschbach, D. Landmann, J. Poore, "From Requirements to Statistical Testing of Embedded Systems", Proceedings of 4th International ICSE Workshop on Software Engineering for Automotive Systems, May 2007.

K. Sayre, J. Poore, "Automated Testing of Generic Computational Science Libraries", Proceedings of The Fortieth Annual Hawaii International Conference on System Sciences, January 2007.

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.

J. Poore, "Software Engineering—The Way To Be", Survey Automation, 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.

PhD theses

J. Carter, "Sequence-Based Specification of Embedded Systems", The University of Tennessee, December 2009.

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.

Masters' theses

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.

Technical reports

T. Swain, "Application of Hybrid Sequence-Based Specification to a Data Acquisition Processor", No. UT-CS-11-669, The University of Tennessee, March 2011.

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

Other publications

T. Swain, L. Lin, "Weigh-In-Motion Data Acquisition Processor Enumeration", , 2011.

S. Spang, R. Eschbach, L. Lin, "Satellite Operations Software Enumeration", , 2011.

T. Hussain, R. Eschbach, L. Lin, "Mine Pump Controller Software Enumeration", , 2011.

R. Eschbach, L. Lin, A. Ferber, "Driver Side Car Mirror Electronic Control Unit Enumeration", , 2011.

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

Other publications

L. Lin, E. Lamb, T. Swain, "Safety and Security Analysis of Insulin Infusion Systems using Sequence-Based Specification", Internalinfus, Sept 2012.

 

 

BibTeXWeb 2.3 - © 2002-2005 J. Darmont

Valid XHTML 1.1!