TY  - JOUR
AU  - Hierons, Robert M.
AU  - Núñez, Manuel
AU  - García Merayo, María De Las Mercedes
PY  - 2025
DO  - 10.1016/j.jlamp.2025.101092
UR  - https://hdl.handle.net/20.500.14352/133242
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - When testing a state-based system one might use a set of (negative) test cases in which each test case is a sequence of events that should not occur. Testing then involves executing the system under test (SUT) in order to check whether any of these...
LA  - eng
TI  - Combining sequential test cases into an equivalent set of adaptive test cases
TY  - journal article
VL  - 148
ER  -