{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:05:12Z","timestamp":1759032312452,"version":"3.40.4"},"reference-count":68,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2015,2,1]],"date-time":"2015-02-01T00:00:00Z","timestamp":1422748800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2015,2,1]]},"DOI":"10.1109\/tse.2014.2360690","type":"journal-article","created":{"date-parts":[[2014,10,2]],"date-time":"2014-10-02T18:49:14Z","timestamp":1412275754000},"page":"113-134","source":"Crossref","is-referenced-by-count":8,"title":["Exploiting Model Morphology for Event-Based Testing"],"prefix":"10.1109","volume":"41","author":[{"given":"Fevzi","family":"Belli","sequence":"first","affiliation":[]},{"given":"Mutlu","family":"Beyazit","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(96)00175-6"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025144"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90036-W"},{"key":"ref32","volume":"1?3","author":"ehrig","year":"1996","journal-title":"Handbook of Graph Grammars and Computing by Graph Transformation"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/TSE.1977.231145","article-title":"testing programs with the aid of a compiler","volume":"se 3","author":"hamlet","year":"1977","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.37"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90339-H"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2007.4385486"},{"journal-title":"Practical Model-Based Testing A Tools Approach","year":"2006","author":"utting","key":"ref60"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2"},{"article-title":"Software reliability growth models","year":"1996","author":"wood","key":"ref61"},{"key":"ref63","first-page":"375","article-title":"Fault-based conformance testing in practice","volume":"3","author":"weiglhofer","year":"2009","journal-title":"Int J Software Informatics"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/32.485221"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/1416563.1416567"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(85)90011-6"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609672"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.193"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1956.1056813"},{"article-title":"Metamorphic testing and its applications","year":"2004","author":"zhou","key":"ref67"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"key":"ref2","first-page":"1338","article-title":"How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution","volume":"3103","author":"adamopoulos","year":"0","journal-title":"Proc AAAI Genetic Evolutionary Comput Conf"},{"article-title":"Mutation analysis","year":"0","author":"acree","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.30"},{"key":"ref22","first-page":"220","article-title":"Minimal spanning set for coverage testing of interactive systems","author":"belli","year":"0","journal-title":"Proc 1st Int Colloq Theoretical Aspects Comput"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.E95.D.2211"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873653"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.2"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.08.002"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5939-6_5"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/32.6165"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.11"},{"key":"ref59","first-page":"7","article-title":"Metrics for model-based mutation testing based on place\/transition nets","author":"takagi","year":"0","journal-title":"Proc Joint Conf 21st Int Workshop Softw Meas 6th Int Conf Softw Process Product Meas - Fast Abstracts"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/331960.331965"},{"journal-title":"Unified Modeling Language Reference Manual","year":"2004","author":"rumbaugh","key":"ref57"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932308"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/210376.197409"},{"key":"ref54","first-page":"1351","article-title":"Testing with model checker: Insuring fault visibility","author":"okun","year":"0","journal-title":"Proc WSEAS Int Conf Syst Sci Appl Math Comput Sci Power Eng Syst"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226317"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.85"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.121"},{"journal-title":"Software Testing Techniques","year":"1990","author":"beizer","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2001.989456"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2010.23"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39274-0_6"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-396526-4.00006-0"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SERE-C.2012.24"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-003-0011-8"},{"article-title":"Design of mutant operators for the c programming language","year":"1989","author":"agrawal","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.57"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17071-3_12"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730569"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2012.58"},{"key":"ref49","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3927.001.0001","author":"mitchell","year":"1996","journal-title":"An Introduction to Genetic Algorithms"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"article-title":"A top-down presentation of Purdom's sentence-generation algorithm","year":"0","author":"malloy","key":"ref46"},{"article-title":"On the formalisation of GeKo: A generic aspect models weaver","year":"2012","author":"kramer","key":"ref45"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/52.56422"},{"article-title":"Model-based mutation testing for test generation and adequacy analysis","year":"2011","author":"hollmann","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1073000"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"2006","author":"hopcroft","key":"ref43"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7038242\/06915728.pdf?arnumber=6915728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T23:55:00Z","timestamp":1746402900000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6915728\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,1]]},"references-count":68,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.2014.2360690","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"subject":[],"published":{"date-parts":[[2015,2,1]]}}}