@article{article6d2f4220,
title   = {On reducing test length for FSMs with extra states},
author = {Simão, Adenilso da Silva and Petrenko, Alexandre and Nina Yevtushenko},
year = {2012},
doi = {10.1002/stvr.452},
journal   = {Software testing, verification and reliability}
}