%0 Conference Paper %1 conf/issta/GuiSLSDW13 %A Gui, Lin %A Sun, Jun %A Liu, Yang %A Si, Yuanjie %A Dong, Jin Song %A Wang, Xinyu %B ISSTA %D 2013 %E Pezzè, Mauro %E Harman, Mark %I ACM %K dblp %P 101-111 %T Combining model checking and testing with an application to reliability prediction and distribution. %U http://dblp.uni-trier.de/db/conf/issta/issta2013.html#GuiSLSDW13 %@ 978-1-4503-2159-4

@inproceedings{conf/issta/GuiSLSDW13, added-at = {2023-06-26T00:00:00.000+0200}, author = {Gui, Lin and Sun, Jun and Liu, Yang and Si, Yuanjie and Dong, Jin Song and Wang, Xinyu}, biburl = {https://www.bibsonomy.org/bibtex/2c2af620cd733d1337533f42da116bd55/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2013}, editor = {Pezzè, Mauro and Harman, Mark}, ee = {https://doi.org/10.1145/2483760.2483779}, interhash = {e2d7daeeeb46b44841133d3947b19825}, intrahash = {c2af620cd733d1337533f42da116bd55}, isbn = {978-1-4503-2159-4}, keywords = {dblp}, pages = {101-111}, publisher = {ACM}, timestamp = {2024-04-09T20:41:14.000+0200}, title = {Combining model checking and testing with an application to reliability prediction and distribution.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2013.html#GuiSLSDW13}, year = 2013 }