Generating Checking Sequences for Partial Reduced Finite State Machines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Adenilso da Silva Simão' in GoogleThis author has not been identified. Look up 'Alexandre Petrenko' in Google

runs on WebDSL