Testing from Partial Finite State Machines without Harmonised Traces

Robert M. Hierons. Testing from Partial Finite State Machines without Harmonised Traces. IEEE Trans. Software Eng., 43(11):1033-1043, 2017. [doi]

Abstract

Abstract is missing.