scientific article; zbMATH DE number 6401121

zbMATH Open1313.68029MaRDI QIDQ5499122

Changzhen Hu, Qiang Qin

Publication date: 11 February 2015

Title of this publication is not available (Why is that?)

zbMATH Keywords

Markov decision processcross-entropysoftware testingoptimal testing profile

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A highly accurate numerical discretisation of time dependent singular state variable model for software testing process ⋮ Title not available (Why is that?) ⋮ Simulation of program execution using popular Markov chains

Recommendations

• Optimal software testing in the setting of controlled Markov chains 👍 👎
• Characterization of simulation by probabilistic testing 👍 👎
• On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model 👍 👎
• A Stochastic Theory of Black-Box Software Testing 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

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