Lin Gui, Jun Sun, Yang Liu, Yuan Jie Si, Jin Song Dong, Xinyu Wang
Combining model checking and testing with an application to reliability prediction and distribution
ISSTA, 2013.
@inproceedings{ISSTA-2013-GuiSLSDW, author = "Lin Gui and Jun Sun and Yang Liu and Yuan Jie Si and Jin Song Dong and Xinyu Wang", booktitle = "{Proceedings of the 22nd International Symposium on Software Testing and Analysis}", doi = "10.1145/2483760.2483779", isbn = "978-1-4503-2159-4", pages = "101--111", publisher = "{ACM}", title = "{Combining model checking and testing with an application to reliability prediction and distribution}", year = 2013, }