A method for testing and validating executable statechart models

Tom Mens, Alexandre Decan, Nikolaos I. Spanoudakis. A method for testing and validating executable statechart models. Software and Systems Modeling, 18(2):837-863, 2019. [doi]

Abstract

Abstract is missing.