A Bounded Incremental Test Generation Algorithm for Finite State Machines

Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh. A Bounded Incremental Test Generation Algorithm for Finite State Machines. In Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp, editors, Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings. Volume 4581 of Lecture Notes in Computer Science, pages 244-259, Springer, 2007. [doi]

Authors

Zoltán Pap

This author has not been identified. Look up 'Zoltán Pap' in Google

Mahadevan Subramaniam

This author has not been identified. Look up 'Mahadevan Subramaniam' in Google

Gábor Kovács

This author has not been identified. Look up 'Gábor Kovács' in Google

Gábor Árpád Németh

This author has not been identified. Look up 'Gábor Árpád Németh' in Google