Test Translation for Embedded Finite State Machine Components

Khaled El-Fakih, Nina Yevtushenko. Test Translation for Embedded Finite State Machine Components. Comput. J., 59(12):1805-1816, 2016. [doi]

Abstract

Abstract is missing.