{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:08:13Z","timestamp":1729624093720,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/qsic.2003.1319110","type":"proceedings-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T10:25:04Z","timestamp":1113301504000},"page":"263-270","source":"Crossref","is-referenced-by-count":3,"title":["Using the incremental approach to generate test sets: a case study"],"prefix":"10.1109","author":[{"given":"Y.T.","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.F.","family":"Lau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.Y.","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370030104"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1988.10188"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/152388.152391"},{"key":"ref13","first-page":"650","article-title":"Applying the SCR requirements method to the light control case study","volume":"6","author":"heimeyer","year":"2000","journal-title":"Journal of Universal Computer Science"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1183927"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"ref16","first-page":"60","article-title":"Insights into regression testing","author":"leung","year":"1989","journal-title":"Proceedings of Conference on Software Maintenance"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.264"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158694"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226326"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00050-0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(96)00135-4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1999.809656"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.221"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.210305"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1993.366927"},{"key":"ref9","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":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/347324.349042"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.48939"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/32.536956"},{"key":"ref24","article-title":"Automatic generation of test cases from Boolean specifications using the MUMCUT strategy","author":"yu","year":"2003","journal-title":"submitted for publication"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/32.286420"}],"event":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","start":{"date-parts":[[2003,11,7]]},"location":"Dallas, TX, USA","end":{"date-parts":[[2003,11,7]]}},"container-title":["Third International Conference on Quality Software, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9215\/29226\/01319110.pdf?arnumber=1319110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T14:13:43Z","timestamp":1497622423000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319110\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/qsic.2003.1319110","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}