{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:48Z","timestamp":1750306728285,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T00:00:00Z","timestamp":1410739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["GRK 1324"],"award-info":[{"award-number":["GRK 1324"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,15]]},"DOI":"10.1145\/2647908.2655968","type":"proceedings-article","created":{"date-parts":[[2014,9,17]],"date-time":"2014-09-17T14:22:41Z","timestamp":1410963761000},"page":"62-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Towards the assessment of software product line tests"],"prefix":"10.1145","author":[{"given":"Hartmut","family":"Lackner","sequence":"first","affiliation":[{"name":"Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany"}]},{"given":"Martin","family":"Schmidt","sequence":"additional","affiliation":[{"name":"Humboldt-Universit\u00e4t zu Berlin, Berlin, Germany"}]}],"member":"320","published-online":{"date-parts":[[2014,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"B. K.\n       \n      Aichernig F.\n       \n      Lorber and \n      \n      \n      D.\n       \n      Ni\u010dkovi\u0107\n      \n  \n  . \n  Time for Mutants --- Model-Based Mutation Testing with Timed Automata\n  . In D. Hutchison T. Kanade J. Kittler et al. editors Tests and Proofs volume \n  7942\n   of \n  Lecture Notes in Computer Science pages \n  20\n  --\n  38\n  . \n  Springer Berlin Heidelberg Berlin and Heidelberg 2013\n  .  B. K. Aichernig F. Lorber and D. Ni\u010dkovi\u0107. Time for Mutants --- Model-Based Mutation Testing with Timed Automata. In D. Hutchison T. Kanade J. Kittler et al. editors Tests and Proofs volume 7942 of Lecture Notes in Computer Science pages 20--38. Springer Berlin Heidelberg Berlin and Heidelberg 2013.","DOI":"10.1007\/978-3-642-38916-0_2"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v16:1"},{"volume-title":"Bellingham and Wash and Springfield and Va","year":"2008","author":"Belli F.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","unstructured":"F. Belli A. Hollmann and S. Padberg. Model-Based Integration Testing with Communication Sequence Graphs. In J. Zander I. Schieferdecker and P. J. Mosterman editors Model-based testing for embedded systems Computational analysis synthesis and design of dynamic systems. CRC Press Boca Raton 2011.  F. Belli A. Hollmann and S. Padberg. Model-Based Integration Testing with Communication Sequence Graphs. In J. Zander I. Schieferdecker and P. J. Mosterman editors Model-based testing for embedded systems Computational analysis synthesis and design of dynamic systems. CRC Press Boca Raton 2011."},{"volume-title":"Boston and MA and USA","year":"1999","author":"Binder R. V.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/786768.786981"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MoDeVVa.2010.19"},{"key":"e_1_3_2_1_8_1","unstructured":"H.\n       \n      Cichos M.\n       \n      Lochau S.\n       \n      Oster and \n      \n      \n      A.\n       \n      Sch\u00fcrr\n      \n  \n  . \n  Reduktion von Testsuiten f\u00fcr Software-Produktlinien. In S. J\u00e4hnichen A. K\u00fcpper and S. Albayrak editors Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik 27. Februar - 2. M\u00e4rz 2012 in Berlin volume \n  198\n   of \n  LNI pages \n  143\n  --\n  154\n  . \n  GI 2012\n  .  H. Cichos M. Lochau S. Oster and A. Sch\u00fcrr. Reduktion von Testsuiten f\u00fcr Software-Produktlinien. In S. J\u00e4hnichen A. K\u00fcpper and S. Albayrak editors Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik 27. Februar - 2. M\u00e4rz 2012 in Berlin volume 198 of LNI pages 143--154. GI 2012."},{"key":"e_1_3_2_1_9_1","unstructured":"P. Clements and L. Northrop. Software product lines: Practices and patterns. The SEI series in software engineering. Addison-Wesley Boston Mass. u.a 7. print edition 2009.  P. Clements and L. Northrop. Software product lines: Practices and patterns . The SEI series in software engineering. Addison-Wesley Boston Mass. u.a 7. print edition 2009."},{"key":"e_1_3_2_1_10_1","unstructured":"Conformiq Qtronic. Semantics and Algorithms for Test Generation: a Conformiq Software Whitepaper 2008.  Conformiq Qtronic. Semantics and Algorithms for Test Generation: a Conformiq Software Whitepaper 2008."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_28"},{"volume-title":"DTIC Document","year":"1980","author":"DeMillo R. A.","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.05.011"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341378"},{"volume-title":"LNI","year":"2008","author":"Gr\u00f6nniger H.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.30"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.016"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"K. C. Kang S. G. Cohen J. A. Hess W. E. Novak and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study 1990.  K. C. Kang S. G. Cohen J. A. Hess W. E. Novak and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study 1990.","DOI":"10.21236\/ADA235785"},{"volume-title":"FMES","year":"2000","author":"Kim S.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.16"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30473-6_7"},{"key":"e_1_3_2_1_23_1","unstructured":"Object Management Group (OMG). UML 2.4.1 Superstructure Specification 2011.  Object Management Group (OMG). UML 2.4.1 Superstructure Specification 2011."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"A. J. Offutt and R. H. Untch. Mutation 2000: Uniting The Orthogonal 1971.  A. J. Offutt and R. H. Untch. Mutation 2000: Uniting The Orthogonal 1971.","DOI":"10.1007\/978-1-4757-5939-6_7"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.264"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082983.1083279"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944892.1944901"},{"volume-title":"Secaucus and NJ and USA","year":"2005","author":"Pohl K.","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","first-page":"13","volume-title":"SPLiT '04: Proceedings of the International Workshop on Software Product Line Testing","author":"Stephenson Z.","year":"2004"},{"key":"e_1_3_2_1_30_1","unstructured":"M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc. San Francisco and CA and USA 1 edition 2006.   M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach . Morgan Kaufmann Publishers Inc. San Francisco and CA and USA 1 edition 2006."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_16"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0027"}],"event":{"name":"SPLC '14: 18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers","sponsor":["University of Florence University of Florence","CNR Istituto di Scienza e Tecnologie dell Informazione"],"location":"Florence Italy","acronym":"SPLC '14"},"container-title":["Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2647908.2655968","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2647908.2655968","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:40Z","timestamp":1750231180000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2647908.2655968"}},"subtitle":["a mutation system for variable systems"],"short-title":[],"issued":{"date-parts":[[2014,9,15]]},"references-count":32,"alternative-id":["10.1145\/2647908.2655968","10.1145\/2647908"],"URL":"https:\/\/doi.org\/10.1145\/2647908.2655968","relation":{},"subject":[],"published":{"date-parts":[[2014,9,15]]},"assertion":[{"value":"2014-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}