Using the NuSMV Model Checker for Test Generation from Statecharts. - Masaya Kadono; Tatsuhiro Tsuchiya; Tohru Kikuno (PRDC, 2009)