{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:25Z","timestamp":1750220785417,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,7]],"date-time":"2020-10-07T00:00:00Z","timestamp":1602028800000},"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":[[2020,10,7]]},"DOI":"10.1145\/3387903.3389319","type":"proceedings-article","created":{"date-parts":[[2020,9,12]],"date-time":"2020-09-12T20:02:18Z","timestamp":1599940938000},"page":"31-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Validating Test Case Migration via Mutation Analysis"],"prefix":"10.1145","author":[{"given":"Ivan","family":"Jovanovikj","sequence":"first","affiliation":[{"name":"Paderborn University Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enes","family":"Yigitbas","sequence":"additional","affiliation":[{"name":"Paderborn University Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Achyuth","family":"Nagaraj","sequence":"additional","affiliation":[{"name":"Paderborn University Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony","family":"Anjorin","sequence":"additional","affiliation":[{"name":"Paderborn University Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Sauer","sequence":"additional","affiliation":[{"name":"Paderborn University Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"Engels","sequence":"additional","affiliation":[{"name":"Paderborn University Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,7]]},"reference":[{"volume-title":"IEEE Standard Glossary of Software Engineering Terminology","year":"1990","key":"e_1_3_2_1_1_1","unstructured":"1990. IEEE Standard Glossary of Software Engineering Terminology . IEEE Std 610.12-- 1990 (Dec 1990), 1--84. 1990. IEEE Standard Glossary of Software Engineering Terminology. IEEE Std 610.12--1990 (Dec 1990), 1--84."},{"key":"e_1_3_2_1_3_1","volume-title":"Hierons","author":"Adamopoulos Konstantinos","year":"2004","unstructured":"Konstantinos Adamopoulos , Mark Harman , and Robert M . Hierons . 2004 . How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. Springer , Berlin, Heidelberg, 1338--1349. Konstantinos Adamopoulos, Mark Harman, and Robert M. Hierons. 2004. How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. Springer, Berlin, Heidelberg, 1338--1349."},{"key":"e_1_3_2_1_5_1","volume-title":"Model-Based Mutation Testing-Approach and Case Studies. Sci. Comput. Program. 120 (May","author":"Belli Fevzi","year":"2016","unstructured":"Fevzi Belli , Christof J. Budnik , Axel Hollmann , Tugkan Tuglular , and W. Eric Wong . 2016. Model-Based Mutation Testing-Approach and Case Studies. Sci. Comput. Program. 120 (May 2016 ), 25--48. Fevzi Belli, Christof J. Budnik, Axel Hollmann, Tugkan Tuglular, and W. Eric Wong. 2016. Model-Based Mutation Testing-Approach and Case Studies. Sci. Comput. Program. 120 (May 2016), 25--48."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.795108"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00625279"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2001.991487"},{"key":"e_1_3_2_1_9_1","volume-title":"Zhenjiang Hu, Ralf L\u00e4mmel, Andy Sch\u00fcrr, and James Terwilliger.","author":"Czarnecki Krzysztof","year":"2009","unstructured":"Krzysztof Czarnecki , John Nathan Foster , Zhenjiang Hu, Ralf L\u00e4mmel, Andy Sch\u00fcrr, and James Terwilliger. 2009 . Bidirectional Transformations : A Cross-Discipline Perspective. In ICMT 2009, Richard F. Paige (Ed.). Lecture Notes in Computer Science (LNCS), Vol. 5563 . Springer , 260--283. Krzysztof Czarnecki, John Nathan Foster, Zhenjiang Hu, Ralf L\u00e4mmel, Andy Sch\u00fcrr, and James Terwilliger. 2009. Bidirectional Transformations: A Cross-Discipline Perspective. In ICMT 2009, Richard F. Paige (Ed.). Lecture Notes in Computer Science (LNCS), Vol. 5563. Springer, 260--283."},{"volume-title":"Software Engineering Techniques: Design for Quality","author":"Derezi\u0144ska Anna","key":"e_1_3_2_1_10_1","unstructured":"Anna Derezi\u0144ska . 2006. Advanced mutation operators applicable in C# programs . In Software Engineering Techniques: Design for Quality . Springer US , Boston, MA , 283--288. Anna Derezi\u0144ska. 2006. Advanced mutation operators applicable in C# programs. In Software Engineering Techniques: Design for Quality. Springer US, Boston, MA, 283--288."},{"key":"e_1_3_2_1_11_1","first-page":"389","article-title":"Cream - a system for object-oriented mutation of C# programs. Zeszyty Naukowe Wydzia\u0142u ETI Politechniki Gda\u0144skiej","volume":"13","author":"Derezi\u0144ska A.","year":"2007","unstructured":"A. Derezi\u0144ska and A. Szustek . 2007 . Cream - a system for object-oriented mutation of C# programs. Zeszyty Naukowe Wydzia\u0142u ETI Politechniki Gda\u0144skiej . Technologie Informacyjne T. 13 (2007), 389 -- 398 . A. Derezi\u0144ska and A. Szustek. 2007. Cream - a system for object-oriented mutation of C# programs. Zeszyty Naukowe Wydzia\u0142u ETI Politechniki Gda\u0144skiej. Technologie Informacyjne T. 13 (2007), 389--398.","journal-title":"Technologie Informacyjne T."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/DepCoS-RELCOMEX.2008.51"},{"key":"e_1_3_2_1_13_1","unstructured":"Arie Deursen Leon M.F. Moonen A. Bergh and Gerard Kok. 2001. Refactoring test code.  Arie Deursen Leon M.F. Moonen A. Bergh and Gerard Kok. 2001. Refactoring test code."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3336294.3336305"},{"volume-title":"Refactoring: improving the design of existing code","author":"Fowler Martin","key":"e_1_3_2_1_15_1","unstructured":"Martin Fowler and Kent. Beck. 1999. Refactoring: improving the design of existing code . Addison-Wesley . 431 pages. Martin Fowler and Kent. Beck. 1999. Refactoring: improving the design of existing code. Addison-Wesley. 431 pages."},{"key":"e_1_3_2_1_16_1","volume-title":"An introduction to the testing and test control notation (TTCN-3). Computer Networks 42, 3 (6","author":"Grabowski Jens","year":"2003","unstructured":"Jens Grabowski , Dieter Hogrefe , Gy\u00f6rgy R\u00e9thy , Ina Schieferdecker , Anthony Wiles , and Colin Willcock . 2003. An introduction to the testing and test control notation (TTCN-3). Computer Networks 42, 3 (6 2003 ), 375--403. Jens Grabowski, Dieter Hogrefe, Gy\u00f6rgy R\u00e9thy, Ina Schieferdecker, Anthony Wiles, and Colin Willcock. 2003. An introduction to the testing and test control notation (TTCN-3). Computer Networks 42, 3 (6 2003), 375--403."},{"key":"e_1_3_2_1_17_1","volume-title":"The Impact of Equivalent Mutants. In 2009 International Conference on Software Testing, Verification, and Validation Workshops. IEEE, 192--199","author":"Gr\u00fcn Bernhard J. M.","year":"2009","unstructured":"Bernhard J. M. Gr\u00fcn , David Schuler , and Andreas Zeller . 2009 . The Impact of Equivalent Mutants. In 2009 International Conference on Software Testing, Verification, and Validation Workshops. IEEE, 192--199 . Bernhard J. M. Gr\u00fcn, David Schuler, and Andreas Zeller. 2009. The Impact of Equivalent Mutants. In 2009 International Conference on Software Testing, Verification, and Validation Workshops. IEEE, 192--199."},{"key":"e_1_3_2_1_18_1","volume-title":"Refactoring Test Code Safely. In International Conference on Software Engineering Advances (ICSEA","author":"Guerra Eduardo Martins","year":"2007","unstructured":"Eduardo Martins Guerra and Clovis Torres Fernandes . 2007 . Refactoring Test Code Safely. In International Conference on Software Engineering Advances (ICSEA 2007). IEEE, 44--44. Eduardo Martins Guerra and Clovis Torres Fernandes. 2007. Refactoring Test Code Safely. In International Conference on Software Engineering Advances (ICSEA 2007). IEEE, 44--44."},{"key":"e_1_3_2_1_19_1","volume-title":"Testing Programs with the Aid of a Compiler","author":"Hamlet R.G.","year":"1977","unstructured":"R.G. Hamlet and R. G. 1977. Testing Programs with the Aid of a Compiler . IEEE Transactions on Software Engineering SE- 3, 4 (7 1977 ), 279--290. R.G. Hamlet and R. G. 1977. Testing Programs with the Aid of a Compiler. IEEE Transactions on Software Engineering SE-3, 4 (7 1977), 279--290."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_21_1","volume-title":"An analysis and survey of the development of mutation testing","author":"Jia Yue","year":"2011","unstructured":"Yue Jia and Mark Harman . 2011. An analysis and survey of the development of mutation testing . IEEE transactions on software engineering 37, 5 ( 2011 ), 649--678. Yue Jia and Mark Harman. 2011. An analysis and survey of the development of mutation testing. IEEE transactions on software engineering 37, 5 (2011), 649--678."},{"key":"e_1_3_2_1_22_1","volume-title":"Assessing Test Set Adequacy for Object-Oriented Programs Using Class Mutation. Symposium on Software Technology (SoST'99)","author":"Kim John Sun-Woo","year":"1999","unstructured":"Sun-Woo Kim John , Sun-Woo Kim John , John A. Clark , and John A. Mcdermid . 1999 . Assessing Test Set Adequacy for Object-Oriented Programs Using Class Mutation. Symposium on Software Technology (SoST'99) ( 1999 ), 72--83. Sun-Woo Kim John, Sun-Woo Kim John, John A. Clark, and John A. Mcdermid. 1999. Assessing Test Set Adequacy for Object-Oriented Programs Using Class Mutation. Symposium on Software Technology (SoST'99) (1999), 72--83."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 18th Workshop Software-Reengineering &Evolution (WSRE) & 7th Workshop Design for Future (DFF) 32","author":"Jovanovikj Ivan","year":"2016","unstructured":"Ivan Jovanovikj , Marvin Grieger , and Enes Yigitbas . 2016 . Towards a Model-Driven Method for Reusing Test Cases in Software Migration Projects. Softwaretechnik-Trends , Proceedings of the 18th Workshop Software-Reengineering &Evolution (WSRE) & 7th Workshop Design for Future (DFF) 32 , 2 (2016), 65--66. Ivan Jovanovikj, Marvin Grieger, and Enes Yigitbas. 2016. Towards a Model-Driven Method for Reusing Test Cases in Software Migration Projects. Softwaretechnik-Trends, Proceedings of the 18th Workshop Software-Reengineering &Evolution (WSRE) & 7th Workshop Design for Future (DFF) 32, 2 (2016), 65--66."},{"key":"e_1_3_2_1_24_1","volume-title":"McDermid","author":"Kim Sunwoo","year":"2001","unstructured":"Sunwoo Kim , John A. Clark , and John A . McDermid . 2001 . Investigating the Effectiveness of Object-Oriented Strategies with the Mutation Method. In Mutation Testing for the New Century. Springer US , Boston, MA, 4--4. Sunwoo Kim, John A. Clark, and John A. McDermid. 2001. Investigating the Effectiveness of Object-Oriented Strategies with the Mutation Method. In Mutation Testing for the New Century. Springer US, Boston, MA, 4--4."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9582-5"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077303.1077304"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/VALID.2009.13"},{"volume-title":"XUnit test patterns: refactoring test code","key":"e_1_3_2_1_29_1","unstructured":"Gerard. Meszaros. 2007. XUnit test patterns: refactoring test code . Addison-Wesley . 883 pages. Gerard. Meszaros. 2007. XUnit test patterns: refactoring test code. Addison-Wesley. 883 pages."},{"volume-title":"Mutation Analysis Testing for Model Transformations","author":"Mottu Jean-Marie","key":"e_1_3_2_1_30_1","unstructured":"Jean-Marie Mottu , Benoit Baudry , and Yves Le Traon . 2006. Mutation Analysis Testing for Model Transformations . Springer , Berlin, Heidelberg , 376--390. Jean-Marie Mottu, Benoit Baudry, and Yves Le Traon. 2006. Mutation Analysis Testing for Model Transformations. Springer, Berlin, Heidelberg, 376--390."},{"key":"e_1_3_2_1_31_1","volume-title":"Automatically detecting equivalent mutants and infeasible paths. Software Testing, Verification and Reliability 7, 3 (9","author":"Jefferson Offutt A.","year":"1997","unstructured":"A. Jefferson Offutt and Jie Pan . 1997. Automatically detecting equivalent mutants and infeasible paths. Software Testing, Verification and Reliability 7, 3 (9 1997 ), 165--192. A.Jefferson Offutt and Jie Pan. 1997. Automatically detecting equivalent mutants and infeasible paths. Software Testing, Verification and Reliability 7, 3 (9 1997), 165--192."},{"volume-title":"Theoretical Computer Science","author":"Park David","key":"e_1_3_2_1_32_1","unstructured":"David Park . 1981. Concurrency and automata on infinite sequences . In Theoretical Computer Science . Springer-Verlag , Berlin\/ Heidelberg , 167--183. David Park. 1981. Concurrency and automata on infinite sequences. In Theoretical Computer Science. Springer-Verlag, Berlin\/Heidelberg, 167--183."},{"volume-title":"2018 IEEE\/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion). 292--293","author":"Schwichtenberg S.","key":"e_1_3_2_1_33_1","unstructured":"S. Schwichtenberg , I. Jovanovikj , C. Gerth , and G. Engels . 2018. Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL Across Platforms . In 2018 IEEE\/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion). 292--293 . S. Schwichtenberg, I. Jovanovikj, C. Gerth, and G. Engels. 2018. Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL Across Platforms. In 2018 IEEE\/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion). 292--293."},{"volume-title":"Sixth Working Conference on Reverse Engineering. IEEE Comput. Soc, 204--211","author":"Sneed H.M.","key":"e_1_3_2_1_34_1","unstructured":"H.M. Sneed . [n.d.]. Risks involved in reengineering projects . In Sixth Working Conference on Reverse Engineering. IEEE Comput. Soc, 204--211 . H.M. Sneed. [n.d.]. Risks involved in reengineering projects. In Sixth Working Conference on Reverse Engineering. IEEE Comput. Soc, 204--211."},{"key":"e_1_3_2_1_35_1","volume-title":"Mutation Testing Approach to Negative Testing. Journal of Engineering 2016 (7","author":"Strug Joanna","year":"2016","unstructured":"Joanna Strug and Joanna. 2016. Mutation Testing Approach to Negative Testing. Journal of Engineering 2016 (7 2016 ), 1--13. Joanna Strug and Joanna. 2016. Mutation Testing Approach to Negative Testing. Journal of Engineering 2016 (7 2016), 1--13."},{"key":"e_1_3_2_1_36_1","volume-title":"San Jose","author":"Eric W.","year":"2001","unstructured":"W. Eric . Wong and Calif .) Mutation 2000 (2000 : San Jose . 2001 . Mutation testing for the new century. Kluwer Academic . 118 pages. W. Eric. Wong and Calif.) Mutation 2000 (2000: San Jose. 2001. Mutation testing for the new century. Kluwer Academic. 118 pages."}],"event":{"name":"AST '20: IEEE\/ACM 15nd International Conference on Automation of Software Test","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Seoul Republic of Korea","acronym":"AST '20"},"container-title":["Proceedings of the IEEE\/ACM 1st International Conference on Automation of Software Test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387903.3389319","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387903.3389319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:37Z","timestamp":1750200097000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387903.3389319"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,7]]},"references-count":34,"alternative-id":["10.1145\/3387903.3389319","10.1145\/3387903"],"URL":"https:\/\/doi.org\/10.1145\/3387903.3389319","relation":{},"subject":[],"published":{"date-parts":[[2020,10,7]]},"assertion":[{"value":"2020-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}