@inproceedings{ dblp1882697,
  title = {Combining model checking and testing with an application to reliability prediction and distribution},
  author = {Lin Gui and Jun Sun and Yang Liu and Yuan Jie Si and Jin Song Dong and Xinyu Wang},
  author_short = {Gui, L. and Sun, J. and Liu, Y. and Jie Si, Y. and Song Dong, J. and Wang, X.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1882697},
  id = {dblp1882697},
  url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/ISSTA2013.pdf},
  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)}
}

{"_id":"mJAmA9mzguLAJ2ZJi","authorIDs":["54cf93fc91c843ab6e00058a"],"author_short":["Gui, L.","Sun, J.","Liu, Y.","Si, Y.<nbsp>J.","Dong, J.<nbsp>S.","Wang, X."],"bibbaseid":"gui-sun-liu-si-dong-wang-combiningmodelcheckingandtestingwithanapplicationtoreliabilitypredictionanddistribution-2013","bibdata":{"author":["Gui, Lin","Sun, Jun","Liu, Yang","Si, Yuan Jie","Dong, Jin Song","Wang, Xinyu"],"author_short":["Gui, L.","Sun, J.","Liu, Y.","Si, Y.<nbsp>J.","Dong, J.<nbsp>S.","Wang, X."],"bibtex":"@inproceedings{ dblp1882697,\n title = {Combining model checking and testing with an application to reliability prediction and distribution},\n author = {Lin Gui and Jun Sun and Yang Liu and Yuan Jie Si and Jin Song Dong and Xinyu Wang},\n author_short = {Gui, L. and Sun, J. and Liu, Y. and Jie Si, Y. and Song Dong, J. and Wang, X.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1882697},\n id = {dblp1882697},\n url_paper = {http://people.sutd.edu.sg/~sunjun/Publications/ISSTA2013.pdf},\n biburl = {http://www.dblp.org/rec/bibtex/conf/issta/GuiSLSDW13},\n url = {http://doi.acm.org/10.1145/2483760.2483779},\n conference = {ISSTA},\n pages = {101-111},\n text = {ISSTA 2013:101-111},\n booktitle = {Proceedings of International Symposium on Software Testing and Analysis (ISSTA)}\n}","bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/issta/GuiSLSDW13","booktitle":"Proceedings of International Symposium on Software Testing and Analysis (ISSTA)","conference":"ISSTA","id":"dblp1882697","key":"dblp1882697","pages":"101-111","text":"ISSTA 2013:101-111","title":"Combining model checking and testing with an application to reliability prediction and distribution","type":"inproceedings","url":"http://doi.acm.org/10.1145/2483760.2483779","url_paper":"http://people.sutd.edu.sg/~sunjun/Publications/ISSTA2013.pdf","year":"2013","bibbaseid":"gui-sun-liu-si-dong-wang-combiningmodelcheckingandtestingwithanapplicationtoreliabilitypredictionanddistribution-2013","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2483760.2483779"," paper":"http://people.sutd.edu.sg/~sunjun/Publications/ISSTA2013.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://people.sutd.edu.sg/~sunjun/Publications/mine.bib","creationDate":"2015-02-02T15:13:00.825Z","downloads":0,"keywords":[],"search_terms":["combining","model","checking","testing","application","reliability","prediction","distribution","gui","sun","liu","si","dong","wang"],"title":"Combining model checking and testing with an application to reliability prediction and distribution","year":2013,"dataSources":["mpMYjTrc4gjXaNRQh"]}