Automated Statistical Testing for Embedded Systems

[1]  Gordon M. Kaufman,et al.  Successive sampling and software reliability , 1996 .

[2]  Jesse H. Poore,et al.  Combinatorial Test Case Selection with Markovian Usage Models , 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).

[3]  Thomas M. Cover,et al.  The entropy of Markov trajectories , 1993, IEEE Trans. Inf. Theory.

[4]  Harshinder Singh,et al.  The stochastic precedence ordering with applications in sampling and testing , 2004, Journal of Applied Probability.

[5]  Jesse H. Poore,et al.  Measuring complexity and coverage of software specifications , 2000, Inf. Softw. Technol..

[6]  Walter J. Gutjahr,et al.  Software dependability evaluation based on Markov usage models , 2000, Perform. Evaluation.

[7]  Jesse H. Poore,et al.  A constraint-based approach to the representation of software usage models , 2000, Inf. Softw. Technol..

[8]  Stacy J. Prowell,et al.  Foundations of Sequence-Based Software Specification , 2003, IEEE Trans. Software Eng..

[9]  G. B. Finelli,et al.  The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..

[10]  Harshinder Singh,et al.  Stochastic orders in partition and random testing of software , 2002, Journal of Applied Probability.

[11]  Barry W. Johnson,et al.  Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures , 2002, IEEE Trans. Computers.

[12]  James A. Whittaker,et al.  A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..

[13]  Jeffrey M. Voas,et al.  Estimating the Probability of Failure When Testing Reveals No Failures , 1992, IEEE Trans. Software Eng..

[14]  Jesse H. Poore,et al.  Markov analysis of software specifications , 1993, TSEM.

[15]  Stacy J. Prowell,et al.  JUMBL: a tool for model-based statistical testing , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[16]  Susan K. Donohue,et al.  Modeling the "Good enough to release" decision using V&V preference structures and Bayesian belief networks , 2003, Annual Reliability and Maintainability Symposium, 2003..

[17]  Saralees Nadarajah,et al.  Extreme Value Models for Software Reliability , 2003 .

[18]  Jan Friso Groote,et al.  Statistical Certification of Software Systems , 2008, Commun. Stat. Simul. Comput..

[19]  Katerina Goseva-Popstojanova,et al.  Failure correlation in software reliability models , 2000, IEEE Trans. Reliab..

[20]  Philippa J. Hopcroft,et al.  Academia and industry meet: some experiences of formal methods in practice , 2003, Tenth Asia-Pacific Software Engineering Conference, 2003..

[21]  Michael L. Fredman,et al.  The AETG System: An Approach to Testing Based on Combinatiorial Design , 1997, IEEE Trans. Software Eng..

[22]  Willa K. Ehrlich,et al.  Assessing software reliability performance under highly critical but infrequent event occurrences , 1997, Proceedings The Eighth International Symposium on Software Reliability Engineering.

[23]  Susan A. Sherer.  Statistical software testing using economic exposure assessments , 1996, Softw. Eng. J..

[24]  Bev Littlewood,et al.  Predicting software reliability , 1989, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.

[25]  Simon P. Wilson,et al.  Deciding How Long to Test Software , 2001 .

[26]  Jesse H. Poore,et al.  Statistical testing of software based on a usage model , 1995, Softw. Pract. Exp..

[27]  R. Eschbach,et al.  From Requirements to Statistical Testing of Embedded Systems , 2007, Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07).

[28]  Bev Littlewood,et al.  Software reliability and dependability: a roadmap , 2000, ICSE '00.

[29]  Kevin D. Glazebrook,et al.  Probability Models for Sequential-Stage System Reliability Growth via Failure Mode Removal , 2003 .

[30]  Colin L. Mallows,et al.  Factor-covering designs for testing software , 1998 .

[31]  Vijayan N. Nair,et al.  A statistical assessment of some software testing strategies and application of experimental design techniques , 1998 .

[32]  Joanne Bechta Dugan,et al.  Approximate sensitivity analysis for acyclic Markov reliability models , 2003, IEEE Trans. Reliab..

[33]  Y.-W. Leung.  Software reliability allocation under an uncertain operational profile , 1997 .

[34]  Jesse H. Poore,et al.  Automated Testing of Generic Computational Science Libraries , 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).