{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:04:21Z","timestamp":1729641861762,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107456","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T20:37:48Z","timestamp":1431635868000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["Mutating aspect-oriented models to test cross-cutting concerns"],"prefix":"10.1109","author":[{"given":"Birgitta","family":"Lindstrom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sten F.","family":"Andler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Offutt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Sundmark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00134-6"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-642-24485-8_9","article-title":"An industrial application of robustness testing using aspect-oriented modeling, UML\/MARTE, and search algorithms","author":"ali","year":"2011","journal-title":"Model Driven Engineering Languages and Systems"},{"journal-title":"IEEE Standard Glossary of Software Engineering Terminology","year":"1990","key":"ref31"},{"key":"ref30","article-title":"Design of mutant operators for the AspectJ language","author":"ferrari","year":"2011","journal-title":"Technical Report Version 1 0"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78917-8_3"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0094-1"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1229375.1229377"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2010.34036"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210704"},{"key":"ref14","first-page":"352","article-title":"Inter-class mutation operators for Java","author":"ma","year":"2002","journal-title":"Proceedings of the 3th International Symposium on Software Reliability Engineering (ISSRE"},{"key":"ref15","first-page":"9","article-title":"Class mutation: Mutation testing for object-oriented programs","author":"kim","year":"2000","journal-title":"Proceedings of the ObjectDays2000"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.37"},{"key":"ref17","article-title":"An approach for adequate testing of AspectJ programs","author":"mortensen","year":"2005","journal-title":"2005 Workshop on Testing Aspect-Oriented Programs (held in conjunction with AOSD 2005)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.3"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.12.001"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.6"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-27755-2_3","article-title":"Timed Automata: Semantics, Algorithms and Tools","author":"bengtsson","year":"2004","journal-title":"Lecture Notes on Concurrency and Petri Nets"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.41"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1146374.1146380"},{"key":"ref5","first-page":"486","article-title":"A software reliability assessment based on a structural behavioral analysis of programs","author":"pimont","year":"1976","journal-title":"Proceedings of the Second International Conference on Software Engineering"},{"journal-title":"Model-Based Security Engineering with UML","year":"2005","author":"aldini","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0206-z"},{"journal-title":"Petri Net Theory and the Modeling of Systems","year":"1981","author":"peterson","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.08.007"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref20","first-page":"220","article-title":"Mutation analysis testing for finite state machines","author":"fabbri","year":"1994","journal-title":"Fifth Int'l Symposium on Software Reliability Engineering"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.030"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73196-2_4"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/978-0-387-34945-9_24","article-title":"Mutation testing applied to validate specifications based on Petri nets","author":"fabbri","year":"1996","journal-title":"Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.23"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"UPPAAL in a Nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"Int Journal on Software Tools for Technology Transfer"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2004.1342848"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107456.pdf?arnumber=7107456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T03:26:15Z","timestamp":1566703575000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107456\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107456","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}