Combining sequential test cases into an equivalent set of adaptive test cases

DOI10.1016/J.JLAMP.2025.101092MaRDI QIDQ6879440zbMATH OpenFDO

Authors Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez

Publication date 30 December 2025

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JLAMP.2025.101092

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• Inputs and Outputs in CSP
• Testing using CSP Models: Time, Inputs, and Outputs

This page was built for publication: Combining sequential test cases into an equivalent set of adaptive test cases

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