@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)}
}

{"_id":"EtPT5DiBz57rJWnio","authorIDs":[],"author_short":["Gui 0002, L.","Sun 0001, J.","Liu 0003, Y.","Jie Si, Y.","Song Dong, J.","Wang, X."],"bibbaseid":"gui0002-sun0001-liu0003-jiesi-songdong-wang-combiningmodelcheckingandtestingwithanapplicationtoreliabilitypredictionanddistribution-2013","bibdata":{"title":"Combining model checking and testing with an application to reliability prediction and distribution","author":["Lin Gui 0002","Jun Sun 0001","Yang Liu 0003","Yuan Jie Si","Jin Song Dong","Xinyu Wang"],"author_short":["Gui 0002, L.","Sun 0001, J.","Liu 0003, Y.","Jie Si, Y.","Song Dong, J.","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)","bibtex":"@inproceedings{ dblp1882697,\n title = {Combining model checking and testing with an application to reliability prediction and distribution},\n author = {Lin Gui 0002 and Jun Sun 0001 and Yang Liu 0003 and Yuan Jie Si and Jin Song Dong and Xinyu Wang},\n author_short = {Gui 0002, L. and Sun 0001, J. and Liu 0003, 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 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}","bibbaseid":"gui0002-sun0001-liu0003-jiesi-songdong-wang-combiningmodelcheckingandtestingwithanapplicationtoreliabilitypredictionanddistribution-2013","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2483760.2483779"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/issta/GuiSLSDW13","creationDate":"2015-02-02T07:01:54.657Z","downloads":0,"keywords":[],"search_terms":["combining","model","checking","testing","application","reliability","prediction","distribution","gui 0002","sun 0001","liu 0003","jie si","song dong","wang"],"title":"Combining model checking and testing with an application to reliability prediction and distribution","year":2013,"dataSources":["7EvSxLhvTcirfYLuq"]}