{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:31:35Z","timestamp":1767339095221,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icse.2004.1317431","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"86-95","source":"Crossref","is-referenced-by-count":50,"title":["Using simulation to empirically investigate test coverage criteria based on statechart"],"prefix":"10.1109","author":[{"given":"L.C.","family":"Briand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/32.241773"},{"key":"17","first-page":"416","article-title":"Generating tests from UML specifications","author":"offutt","year":"1999","journal-title":"Proc UML"},{"key":"18","first-page":"119","article-title":"Criteria for generating specification-based tests","author":"offutt","year":"1999","journal-title":"Proc ICECS"},{"journal-title":"Concurrency State models & Java programs","year":"1999","author":"magee","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370040104"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210704"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"11","first-page":"9","article-title":"The rigorous generation of java mutation using HAZOP","volume":"3","author":"kim","year":"1999","journal-title":"Proc ICSSEA"},{"key":"12","article-title":"Class mutation: Mutation testing for object-oriented programs","author":"kim","year":"2000","journal-title":"Proc Net ObjectDays"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120808"},{"key":"2","article-title":"Using simulation to empirically investigate test coverage criteria on statecharts","volume":"sce 2 9","author":"briand","year":"2002","journal-title":"Carleton University Technical Report"},{"journal-title":"Testing Object-Oriented Systems - Models Patterns and Tools","year":"1999","author":"binder","key":"1"},{"key":"10","first-page":"191","article-title":"Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria","author":"hutchins","year":"1994","journal-title":"Proc IEEE ICSE"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(96)00154-9"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/32.238581"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.707695"},{"journal-title":"Spline Smoothing and Nonparametric Regression","year":"1988","author":"eubank","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/367008.367020"}],"event":{"name":"Proceedings. 26th International Conference on Software Engineering","acronym":"ICSE-04","location":"Edinburgh, UK"},"container-title":["Proceedings. 26th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9201\/29176\/01317431.pdf?arnumber=1317431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T22:09:52Z","timestamp":1489442992000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1317431\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icse.2004.1317431","relation":{},"subject":[]}}