Adenilso da Silva Simão, Alexandre Petrenko. Generating Checking Sequences for Partial Reduced Finite State Machines. In Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa, editors, Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings. Volume 5047 of Lecture Notes in Computer Science, pages 153-168, Springer, 2008. [doi]
Abstract is missing.