Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
Falsification of OTSs by Searches of Bounded Reachable State Spaces
SEKE, 2006.
@inproceedings{SEKE-2006-OgataKF,
author = "Kazuhiro Ogata and Weiqiang Kong and Kokichi Futatsugi",
booktitle = "{Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-18-7",
pages = "440--445",
title = "{Falsification of OTSs by Searches of Bounded Reachable State Spaces}",
year = 2006,
}