{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:23:15Z","timestamp":1773235395797,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2003.1245339","type":"proceedings-article","created":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T21:26:50Z","timestamp":1078176410000},"page":"182-187","source":"Crossref","is-referenced-by-count":12,"title":["Tolerance of control-flow testing criteria"],"prefix":"10.1109","author":[{"given":"S.A.","family":"Vilkomir","sequence":"first","affiliation":[]},{"given":"K.","family":"Kapoor","sequence":"additional","affiliation":[]},{"given":"J.P.","family":"Bowen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"1","article-title":"Thinking formally about testing without a formal specification","author":"weyuker","year":"2002","journal-title":"Proceedings of Formal Approaches to Testing of Software (FATES'02)"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/32.286420"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.1993.263796"},{"key":"15","first-page":"295","article-title":"Reinforced Condition\/Decision Coverage (RC\/DC): A new criterion for software testing","author":"vilkomir","year":"2002","journal-title":"ZB2002 Formal Specification and Development in Z and B Proceedings of 2nd International Conference of B and Z Users"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341348"},{"key":"13","year":"1992","journal-title":"Software Considerations in Airborne Systems and Equipment Certification"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960638"},{"key":"11","first-page":"119","article-title":"Criteria for generating specification-based tests","author":"offutt","year":"1999","journal-title":"Proceedings of 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1995.497649"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1997.625062"},{"key":"3","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/291252.288298","article-title":"Further empirical studies of test effectiveness","volume":"23","author":"frankl","year":"1998","journal-title":"ACM SIGSOFT Software Engineering Notes Proceedings of ACM SIGSOFT 6th International Symposium on Foundations of Software Engineering"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2001.931302"},{"key":"2","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/sej.1994.0025","article-title":"applicability of modified condition\/decision coverage to software testing","volume":"9","author":"chilenski","year":"1994","journal-title":"Software Engineering Journal"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2002.1044538"},{"key":"10","author":"myers","year":"1979","journal-title":"The Art of Software Testing"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/322993.322996"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296778"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.221133"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/32.238581"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/32.962563"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"}],"event":{"name":"27th Annual International Computer Software and Applications Conference","location":"Dallas, TX, USA","acronym":"CMPSAC-03"},"container-title":["Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8813\/27898\/01245339.pdf?arnumber=1245339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:05:46Z","timestamp":1497571546000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1245339\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2003.1245339","relation":{},"subject":[]}}