Combining model checking and testing with an application to reliability prediction and distribution. Gui 0002, L., Sun 0001, J., Liu 0003, Y., Jie Si, Y., Song Dong, J., & Wang, X. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA), pages 101-111, 2013.
Combining model checking and testing with an application to reliability prediction and distribution [link]Paper  bibtex   
@inproceedings{ dblp1882697,
  title = {Combining model checking and testing with an application to reliability prediction and distribution},
  author = {Lin Gui 0002 and Jun Sun 0001 and Yang Liu 0003 and Yuan Jie Si and Jin Song Dong and Xinyu Wang},
  author_short = {Gui 0002, L. and Sun 0001, J. and Liu 0003, Y. and Jie Si, Y. and Song Dong, J. and Wang, X.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1882697},
  id = {dblp1882697},
  biburl = {http://www.dblp.org/rec/bibtex/conf/issta/GuiSLSDW13},
  url = {http://doi.acm.org/10.1145/2483760.2483779},
  conference = {ISSTA},
  pages = {101-111},
  text = {ISSTA 2013:101-111},
  booktitle = {Proceedings of International Symposium on Software Testing and Analysis (ISSTA)}
}

Downloads: 0