TY - JOUR T1 - Combining sequential test cases into an equivalent set of adaptive test cases JO - Journal of Logical and Algebraic Methods in Programming UR - https://eprints.whiterose.ac.uk/id/eprint/230794 PY - 2025/09/02 AU - Hierons R AU - Merayo MG AU - Nunez M ED - DO - DOI: 10.1016/j.jlamp.2025.101092 PB - Elsevier VL - 148 Y2 - 2025/12/08 ER -