{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T13:58:51Z","timestamp":1773323931010,"version":"3.50.1"},"reference-count":25,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsm.2002.1167768","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T21:03:42Z","timestamp":1056575022000},"page":"214-223","source":"Crossref","is-referenced-by-count":75,"title":["Model based regression test reduction using dependence analysis"],"prefix":"10.1109","author":[{"given":"B.","family":"Korel","sequence":"first","affiliation":[]},{"given":"L.H.","family":"Tahat","sequence":"additional","affiliation":[]},{"given":"B.","family":"Vaysburg","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1992.242531"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1988.10188"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271803"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/12.88471"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1990.131377"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/NAECON.1993.290964"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/186258.187171"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/248233.248262"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.1997.577516"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.689403"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00203-6"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/157485.164585","article-title":"automatic functional test generation using the extended finite state machine model","author":"cheng","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.1993.253243"},{"key":"ref8","first-page":"268","article-title":"Automating the Generation and Sequencing of Test Case from Model-Based Specification","author":"dick","year":"1992","journal-title":"Proceedings of the Industrial Strength Formal Methods 5th International Symposium on Formal Methods"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/ICSE.1994.296780","article-title":"Testtube: A System for Selective Regression Testing","author":"chen","year":"1994","journal-title":"Proceedings of the 16th International Conference on Software Engineering"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2001.934006"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(99)00063-8"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.1997.623769"},{"key":"ref20","first-page":"1","article-title":"Modification Oriented Software Testing","author":"sherlund","year":"1991","journal-title":"Proceedings of Quality Week"},{"key":"ref22","first-page":"496","article-title":"Scenario-Based Functional Regression Testing","author":"tsai","year":"2001","journal-title":"Proceedings of the 25thAnnual IEEE International Computer Software and Applications Conference (COMPSAC)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960658"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.1145\/566172.566188","article-title":"Dependence Analysis in Reduction of Requirement Based Test Suites","author":"vaysburg","year":"2002","journal-title":"Proceedings of IEEE International Symposium on Software Testing and Analysis (ISSTA) Rome"},{"key":"ref23","first-page":"130","article-title":"Automating Test Case Generation from SDL Specifications","author":"vaysburg","year":"2001","journal-title":"Proceedings of the 18thInternational Conference on Testing Computer Software (TCS)"},{"key":"ref25","first-page":"338","article-title":"Test-Manager: A Regression Testing Tool","author":"while","year":"1993","journal-title":"Proceedings of the IEEE International Conference on Software Maintenance"}],"event":{"name":"International Conference on Software Maintenance","location":"Montreal, Que., Canada","acronym":"ICSM-02"},"container-title":["International Conference on Software Maintenance, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8357\/26332\/01167768.pdf?arnumber=1167768","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:45:58Z","timestamp":1497552358000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1167768\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/icsm.2002.1167768","relation":{},"subject":[]}}