Corpus ID: 12519256

Computations for Markov Chain Usage Models

@inproceedings{Thomason2003ComputationsFM,
  title={Computations for Markov Chain Usage Models},
  author={M. Thomason and J. Morales},
  year={2003}
}
Preface This document summarizes the basic computations for Markov chain usage models, presents their derivations, and includes Scilab code to compute each of them. The contents of this document are the result of years of work by many different people, and very few results are original. Jesse Poore did the original work on Markov chain usage models [17, 18]. Gwen Wal-ton's research applied mathematical programming techniques to set model probabilities under testing constraints [16]. Jenny… Expand
Improving test adequacy and software reliability with practices of statistical testing
Model-Based Testing of Probabilistic Systems
Using Markov Chain Usage Models to Test Complex Systems
  • S. Prowell
  • Computer Science
  • Proceedings of the 38th Annual Hawaii International Conference on System Sciences
  • 2005
Model Based Statistical Testing of Embedded Systems
  • Frank Böhr
  • Computer Science
  • 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops
  • 2011
Model-based testing of probabilistic systems
...
1
2
3
...

References

SHOWING 1-10 OF 23 REFERENCES
A Markov Chain Model for Statistical Software Testing
Markov analysis of software specifications
TML: a description language for Markov chain usage models
  • S. Prowell
  • Computer Science
  • Inf. Softw. Technol.
  • 2000
Estimating the Probability of Failure When Testing Reveals No Failures
Matrix analysis
Summation of Series.
Improving software quality using statistical testing techniques
...
1
2
3
...