Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno. Using the NuSMV Model Checker for Test Generation from Statecharts. In 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2009, Shanghai, China, 16-18 November 2009. pages 37-42, IEEE Computer Society, 2009. [doi]
Abstract is missing.