Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi. Falsification of OTSs by Searches of Bounded Reachable State Spaces. In Kang Zhang, George Spanoudakis, Giuseppe Visaggio, editors, Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2006), San Francisco, CA, USA, July 5-7, 2006. pages 440-445, 2006.
Abstract is missing.