Markov chain Monte Carlo random testing

DOI10.1007/978-3-642-13577-4_40MaRDI QIDQ3578101zbMATH OpenOpenAlexFDO

Authors Bo Zhou, Hiroyuki Okamura, Tadashi Dohi

Publication date 13 July 2010

Published in Advances in Computer Science and Information Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13577-4_40

zbMATH Keywords

Bayes statisticsMarkov chain Monte Carlorandom testingsoftware testing

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Optimal software testing in the setting of controlled Markov chains
• Importance Sampling of Test Cases in Markovian Software Usage Models
• Use of Markov chain Monte Carlo methods for a Bayesian analysis of software reliability models
• scientific article; zbMATH DE number 6401121
• Multiple controlled random testing

Cites work

• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• scientific article; zbMATH DE number 2011487 (Why is no real title available?)

Cited in

(6)

• Markov chain Monte Carlo tests for designed experiments
• Multiple controlled random testing
• Frequentist-Bayesian Monte Carlo testing
• Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods
• Importance Sampling of Test Cases in Markovian Software Usage Models
• Optimal software testing in the setting of controlled Markov chains

This page was built for publication: Markov chain Monte Carlo random testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3578101)