Software dependability evaluation based on Markov usage models
- 1 April 2000
- journal article
- Published by Elsevier BV in Performance Evaluation
- Vol. 40 (4), 199-222
- https://doi.org/10.1016/s0166-5316(99)00052-8
Abstract
No abstract availableThis publication has 25 references indexed in Scilit:
- Partition testing does not inspire confidencePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Acceptance Criteria for Critical Software Based on Testability Estimates and Test ResultsPublished by Springer Science and Business Media LLC ,1997
- Failure Risk Estimation via Markov Software Usage ModelsPublished by Springer Science and Business Media LLC ,1997
- Importance Sampling of Test Cases in Markovian Software Usage ModelsProbability in the Engineering and Informational Sciences, 1997
- Optimal test distributions for software failure cost estimationIEEE Transactions on Software Engineering, 1995
- Fast simulation of rare events in queueing and reliability modelsACM Transactions on Modeling and Computer Simulation, 1995
- The automatic generation of load test suites and the assessment of the resulting softwareIEEE Transactions on Software Engineering, 1995
- COMBINING PROBABILISTIC AND DETERMINISTIC VERIFICATION EFFORTSPublished by Elsevier BV ,1992
- Importance Sampling for Stochastic SimulationsManagement Science, 1989
- A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident ErrorsIEEE Transactions on Software Engineering, 1985