Yongbing Wan, Zhongwei Xu, Meng Mei. A Formal Method for Testing Reactive System from Symbolic Model. In Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao, editors, Artificial Intelligence and Computational Intelligence - 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings. Volume 7530 of Lecture Notes in Computer Science, pages 612-625, Springer, 2012. [doi]
@inproceedings{WanXM12,
title = {A Formal Method for Testing Reactive System from Symbolic Model},
author = {Yongbing Wan and Zhongwei Xu and Meng Mei},
year = {2012},
doi = {10.1007/978-3-642-33478-8_76},
url = {http://dx.doi.org/10.1007/978-3-642-33478-8_76},
researchr = {https://researchr.org/publication/WanXM12},
cites = {0},
citedby = {0},
pages = {612-625},
booktitle = {Artificial Intelligence and Computational Intelligence - 4th International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings},
editor = {Jingsheng Lei and Fu Lee Wang and Hepu Deng and Duoqian Miao},
volume = {7530},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-33477-1},
}