On reducing test length for FSMs with extra states

Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko. On reducing test length for FSMs with extra states. Softw. Test., Verif. Reliab., 22(6):435-454, 2012. [doi]

Abstract

Abstract is missing.