From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases

Valdivino Alexandre de Santiago JĂșnior, Felipe Elias Costa da Silva. From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases. In Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing, SAST 2017, Fortaleza, Brazil, September 18-19, 2017. ACM, 2017. [doi]

Abstract

Abstract is missing.