Using the NuSMV Model Checker for Test Generation from Statecharts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Masaya Kadono' in GoogleThis author has not been identified. Look up 'Tatsuhiro Tsuchiya' in GoogleThis author has not been identified. Look up 'Tohru Kikuno' in Google

runs on WebDSL