{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:10Z","timestamp":1750307950563,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,9]],"date-time":"2007-07-09T00:00:00Z","timestamp":1183939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,9]]},"DOI":"10.1145\/1291535.1291541","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"54-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["Model-based regression test suite generation using dependence analysis"],"prefix":"10.1145","author":[{"given":"Yanping","family":"Chen","sequence":"first","affiliation":[{"name":"SITE, University of Ottawa, Ottawa, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert L.","family":"Probert","sequence":"additional","affiliation":[{"name":"SITE, University of Ottawa, Ottawa, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasan","family":"Ural","sequence":"additional","affiliation":[{"name":"SITE, University of Ottawa, Ottawa, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(89)90078-0"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 10th international workshop on testing of communicating systems (IWTCS'97)","author":"Bourhfir C.","year":"1997","unstructured":"Bourhfir , C. , Dssouli , R. , Aboulhamid , E. M. , and Rico , N ., Automatic executable test case generation for EFSMs , In Proceedings of the 10th international workshop on testing of communicating systems (IWTCS'97) (Seoul, Korea, September 8--10 , 1997 ). 75--90. Bourhfir, C., Dssouli, R., Aboulhamid, E. M., and Rico, N., Automatic executable test case generation for EFSMs, In Proceedings of the 10th international workshop on testing of communicating systems (IWTCS'97) (Seoul, Korea, September 8--10, 1997). 75--90."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/876882.879807"},{"key":"e_1_3_2_1_4_1","first-page":"337","article-title":"The application of module regression testing at TRIUMF, Nuclear Instruments and Methods in Physics Research","author":"Brown P. A.","year":"1990","unstructured":"Brown , P. A. , and Hoffman , D ., The application of module regression testing at TRIUMF, Nuclear Instruments and Methods in Physics Research , Section A, A293 (1--2) , ( Aug. 1990 ), 337 -- 381 . Brown, P. A., and Hoffman, D., The application of module regression testing at TRIUMF, Nuclear Instruments and Methods in Physics Research, Section A, A293 (1--2), (Aug. 1990), 337--381.","journal-title":"Section A, A293 (1--2)"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 2002 conference of the center for advanced studies on collaborative research (CASCON'02) (Toronto, Canada, September 30-October 3","author":"Chen Y.","year":"2002","unstructured":"Chen , Y. , Probert , R. L. , and Sims , D. P. , Specification-based regression test selection with risk analysis , In Proceedings of the 2002 conference of the center for advanced studies on collaborative research (CASCON'02) (Toronto, Canada, September 30-October 3 , 2002 ). ACM Press , New York, NY , 2002, 60--73. Chen, Y., Probert, R. L., and Sims, D. P., Specification-based regression test selection with risk analysis, In Proceedings of the 2002 conference of the center for advanced studies on collaborative research (CASCON'02) (Toronto, Canada, September 30-October 3, 2002). ACM Press, New York, NY, 2002, 60--73."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1992.242531"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/152388.152391"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504305"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of IEEE international conference on software engineering (ICSE'03)","author":"Hong H. S.","year":"2003","unstructured":"Hong , H. S. , Cha , S. D. , Lee , I. , Sokolsky , O. , and Ural , H ., Data flow testing as model checking , In Proceedings of IEEE international conference on software engineering (ICSE'03) (Portland, USA, May 22 --26 , 2003 ). ACM Press, New York, NY, 2003, 232--242. Hong, H. S., Cha, S. D., Lee, I., Sokolsky, O., and Ural, H., Data flow testing as model checking, In Proceedings of IEEE international conference on software engineering (ICSE'03) (Portland, USA, May 22--26, 2003). ACM Press, New York, NY, 2003, 232--242."},{"key":"e_1_3_2_1_10_1","volume-title":"IFIP Trans. C: communication systems - protocol test systems, (Sep.","author":"Huang C.","year":"1995","unstructured":"Huang , C. , Lin , Y. , and Jang , M. , An executable protocol test sequence generation method for EFSM-specified protocols , IFIP Trans. C: communication systems - protocol test systems, (Sep. 1995 ), 20--35. Huang, C., Lin, Y., and Jang, M., An executable protocol test sequence generation method for EFSM-specified protocols, IFIP Trans. C: communication systems - protocol test systems, (Sep. 1995), 20--35."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271803"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/876882.879815"},{"issue":"2","key":"e_1_3_2_1_13_1","first-page":"51","article-title":"Class firewall, test order, and regression testing of object-oriented programs","volume":"8","author":"Kung D. C.","year":"1995","unstructured":"Kung , D. C. , Gao , J. , and Hsia , P ., Class firewall, test order, and regression testing of object-oriented programs , Journal of Object-Oriented Programming 8 ( 2 ), ( May 1995 ), 51 -- 65 . Kung, D. C., Gao, J., and Hsia, P., Class firewall, test order, and regression testing of object-oriented programs, Journal of Object-Oriented Programming 8(2), (May 1995), 51--65.","journal-title":"Journal of Object-Oriented Programming"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083217.1083223"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.536955"},{"key":"e_1_3_2_1_16_1","volume-title":"Journal of software test, verification and reliability, 10, 2, (Jun.","author":"Rothermel G.","year":"2000","unstructured":"Rothermel , G. , Harrold , M. J. , and Dedhia , J. , Regression test selection for C++ software , Journal of software test, verification and reliability, 10, 2, (Jun. 2000 ), 77--109. Rothermel, G., Harrold, M. J., and Dedhia, J., Regression test selection for C++ software, Journal of software test, verification and reliability, 10, 2, (Jun. 2000), 77--109."},{"key":"e_1_3_2_1_17_1","volume-title":"Computer Network Usage: Recent Experiences","author":"Sarikaya B.","year":"1986","unstructured":"Sarikaya , B. , and Bochmann , G. V. , Obtaining normal form specifications for protocols , In Computer Network Usage: Recent Experiences , Elsevier Science Publishers , 1986 . Sarikaya, B., and Bochmann, G. V., Obtaining normal form specifications for protocols, In Computer Network Usage: Recent Experiences, Elsevier Science Publishers, 1986."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.553698"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/645983.675111"},{"key":"e_1_3_2_1_20_1","unstructured":"Telelogic TAU http:\/\/www.telelogic.com.  Telelogic TAU http:\/\/www.telelogic.com."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/26.81739"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225018"},{"key":"e_1_3_2_1_23_1","volume-title":"Master's thesis","author":"Xie B.","year":"2005","unstructured":"Xie , B. , Requirement-Based Regression Test Suite Reduction Using Dependence Analysis , Master's thesis , University of Ottawa , Ottawa, Canada , 2005 . Xie, B., Requirement-Based Regression Test Suite Reduction Using Dependence Analysis, Master's thesis, University of Ottawa, Ottawa, Canada, 2005."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.107"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of 28th international computer software and application (COMPSAC'04) (HongKong, China, September 28--30","author":"Xu L.","year":"2004","unstructured":"Xu , L. , Dias , M. , and Richardson , D. , Generating regression tests via model checking , In Proceedings of 28th international computer software and application (COMPSAC'04) (HongKong, China, September 28--30 , 2004 ). IEEE Computer Society Press , Washington, DC , 2004, 336--341. Xu, L., Dias, M., and Richardson, D., Generating regression tests via model checking, In Proceedings of 28th international computer software and application (COMPSAC'04) (HongKong, China, September 28--30, 2004). IEEE Computer Society Press, Washington, DC, 2004, 336--341."}],"event":{"name":"ISSTA07: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"London United Kingdom","acronym":"ISSTA07"},"container-title":["Proceedings of the 3rd international workshop on Advances in model-based testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291535.1291541","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291535.1291541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:57:48Z","timestamp":1750258668000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291535.1291541"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,9]]},"references-count":25,"alternative-id":["10.1145\/1291535.1291541","10.1145\/1291535"],"URL":"https:\/\/doi.org\/10.1145\/1291535.1291541","relation":{},"subject":[],"published":{"date-parts":[[2007,7,9]]},"assertion":[{"value":"2007-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}