{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:19:55Z","timestamp":1725671995073},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,11,5]]},"DOI":"10.1145\/1181775.1181804","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"231-241","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Simulation-based test adequacy criteria for distributed systems"],"prefix":"10.1145","author":[{"given":"Matthew J.","family":"Rutherford","sequence":"first","affiliation":[{"name":"University of Colorado, Boulder, Colorado"}]},{"given":"Antonio","family":"Carzaniga","sequence":"additional","affiliation":[{"name":"University of Colorado, Boulder, Colorado and University of Lugano, Lugano, Switzerland"}]},{"given":"Alexander L.","family":"Wolf","sequence":"additional","affiliation":[{"name":"University of Colorado, Boulder, Colorado and University of Lugano, Lugano, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2006,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/505696.505703"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218539301000530"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/186258.187153"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999415"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.689403"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/318773.318948"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/4236.978368"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_9_1","volume-title":"Probability and Statistics for Engineering and the Sciences. Brooks\/Cole","author":"Devore J. L.","year":"1995","unstructured":"J. L. Devore . Probability and Statistics for Engineering and the Sciences. Brooks\/Cole , 4 th edition, 1995 . J. L. Devore. Probability and Statistics for Engineering and the Sciences. Brooks\/Cole, 4th edition, 1995.","edition":"4"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/851020.856195"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288298"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.238581"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.6194"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776824"},{"key":"e_1_3_2_1_15_1","first-page":"308","volume-title":"Proceedings of the 12th IEEE International Symposium on Software Reliability Engineering","author":"Jin Z.","year":"2001","unstructured":"Z. Jin and J. Offutt . Deriving tests from software architectures . In Proceedings of the 12th IEEE International Symposium on Software Reliability Engineering , pages 308 -- 313 , Nov. 2001 . Z. Jin and J. Offutt. Deriving tests from software architectures. In Proceedings of the 12th IEEE International Symposium on Software Reliability Engineering, pages 308--313, Nov. 2001."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/322993.322996"},{"key":"e_1_3_2_1_17_1","volume-title":"Pearson Benjamin Cummings","author":"Kurose J. F.","year":"2004","unstructured":"J. F. Kurose and K. W. Ross . Computer Networking: A Top-Down Approach Featuring the Internet . Pearson Benjamin Cummings , 2004 . J. F. Kurose and K. W. Ross. Computer Networking: A Top-Down Approach Featuring the Internet. Pearson Benjamin Cummings, 2004."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v15:2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1271170"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(99)00066-7"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.264"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62964"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/141874.141884"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/288408.288439"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/75308.75319"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.232020"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/243327.243605"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008978021407"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2002.808407"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/504087.504089"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101934"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.286420"}],"event":{"name":"SIGSOFT06\/FSE-14: SIGSOFT 2006 -14th International Symposium on the Foundations of Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Portland Oregon USA","acronym":"SIGSOFT06\/FSE-14"},"container-title":["Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1181775.1181804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T20:43:29Z","timestamp":1673383409000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1181775.1181804"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,5]]},"references-count":33,"alternative-id":["10.1145\/1181775.1181804","10.1145\/1181775"],"URL":"https:\/\/doi.org\/10.1145\/1181775.1181804","relation":{},"subject":[],"published":{"date-parts":[[2006,11,5]]},"assertion":[{"value":"2006-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}