Journal: Information \& Software Technology

Volume 42, Issue 12

797 -- 799Jesse H. Poore. Introduction to the special issue on: model-based statistical testing of software intensive systems
801 -- 807David P. Kelly, Robert Oshana. Improving software quality using statistical testing techniques
809 -- 814Ara Kouchakdjian, R. Fietkiewicz. Improving a product with usage-based testing
815 -- 824S. Rosaria, Harry Robinson. Applying models in your testing process
825 -- 833Jesse H. Poore, Gwendolyn H. Walton, James A. Whittaker. A constraint-based approach to the representation of software usage models
835 -- 844Stacy J. Prowell. TML: a description language for Markov chain usage models
845 -- 850Kirk Sayre, Jesse H. Poore. Partition testing with usage models
851 -- 857Kirk Sayre, Jesse H. Poore. Stopping criteria for statistical testing
859 -- 872Gwendolyn H. Walton, Jesse H. Poore. Measuring complexity and coverage of software specifications
873 -- 887Karl Doerner, Walter J. Gutjahr. Representation and optimization of software usage models with non-Markovian state transitions
889 -- 894James A. Whittaker, Kamel Rekab, Michael G. Thomason. A Markov chain model for predicting the reliability of multi-build software