Using the NuSMV Model Checker for Test Generation from Statecharts.

Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno

Browse the full PRDC paper archive.