{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,6]],"date-time":"2026-08-06T16:07:02Z","timestamp":1786032422293,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,26]],"date-time":"2013-08-26T00:00:00Z","timestamp":1377475200000},"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":[[2013,8,26]]},"DOI":"10.1145\/2491627.2491639","type":"proceedings-article","created":{"date-parts":[[2013,9,3]],"date-time":"2013-09-03T07:57:17Z","timestamp":1378195037000},"page":"72-81","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Generating counterexamples of model-based software product lines"],"prefix":"10.1145","author":[{"given":"Jo\u00e3o Bosco Ferreira","family":"Filho","sequence":"first","affiliation":[{"name":"Universit\u00e9 Rennes 1, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olivier","family":"Barais","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Rennes 1, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mathieu","family":"Acher","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Rennes 1, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[{"name":"RESEARCH LAB, Rennes, France and Lysaker, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J\u00e9r\u00f4me","family":"Le Noir","sequence":"additional","affiliation":[{"name":"Thales Research & Technology, Palaiseau, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,8,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.12.004"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","unstructured":"M. Alf\u00e9rez R. E. Lopez-Herrejon A. Moreira V. Amaral and A. Egyed. Supporting consistency checking between features and software product line use scenarios. In K. Schmid editor ICSR volume 6727 of Lecture Notes in Computer Science pages 20--35. Springer 2011.","DOI":"10.5555\/2022115.2022120"},{"key":"e_1_3_2_1_3_1","volume-title":"2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC","author":"Antoniol G.","year":"2012","unstructured":"G. Antoniol, A. Bertolino, and Y. Labiche, editors. 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. IEEE, 2012."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"S. Apel F. Janda S. Trujillo and C. K\u00e4stner. Model superimposition in software product lines. In R. F. Paige editor ICMT volume 5563 of Lecture Notes in Computer Science pages 4--19. Springer 2009. 10.1007\/978-3-642-02408-5_2","DOI":"10.1007\/978-3-642-02408-5_2"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2009.8.5.c5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.34"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743583"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.93"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1753235.1753247"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868298"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/501065"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561347_28"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094855.1094896"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110167"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173738"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.02.018"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.38"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2425415.2425417"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25264-8_18"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.174"},{"key":"e_1_3_2_1_24_1","volume-title":"Nov.","author":"O. M. Group","year":"2007","unstructured":"O. M. Group. OMG Unified Modeling Language (OMG UML), Infrastructure, V2.1.2. Technical report, Nov. 2007."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.25"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1980562.1980565"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362536.2362547"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.38"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9160-9"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1095605"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885647"},{"key":"e_1_3_2_1_32_1","volume-title":"Model-Driven Engineering","author":"Schmidt D. C.","year":"2006","unstructured":"D. C. Schmidt. Model-Driven Engineering. IEEE Computer, 39(2), February 2006."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v35:8"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","unstructured":"A. Svendsen \u00d8. Haugen and B. M\u00f8ller-Pedersen. Specifying a testing oracle for train stations - going beyond with product line technology. In J. Kienzle editor MoDELS Workshops volume 7167 of LNCS pages 187--201. Springer 2011. 10.1007\/978-3-642-29645-1_20","DOI":"10.1007\/978-3-642-29645-1_20"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","unstructured":"A. Svendsen X. Zhang R. Lind-Tviberg F. Fleurey \u00d8. Haugen B. M\u00f8ller-Pedersen and G. K. Olsen. Developing a software product line for train control: A case study of cvl. In J. Bosch and J. Lee editors SPLC volume 6287 of Lecture Notes in Computer Science pages 106--120. Springer 2010.","DOI":"10.5555\/1885639.1885650"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289971.1289989"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308171.1308205"},{"key":"e_1_3_2_1_38_1","volume-title":"18th International Symposium of the INCOSE","author":"Voirin J.-L.","year":"2008","unstructured":"J.-L. Voirin. Method & tools to secure and support collaborative architecting of constrained systems. In 18th International Symposium of the INCOSE, Utrecht, Netherlands, June 2008. International Council on Systems Engineering."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","unstructured":"X. Zhang and B. M\u00f8ller-Pedersen. Towards correct product derivation in model-driven product lines. In \u00d8. Haugen R. Reed and R. Gotzhein editors SAM volume 7744 of Lecture Notes in Computer Science pages 179--197. Springer 2012. 10.1007\/978-3-642-36757-1_11","DOI":"10.1007\/978-3-642-36757-1_11"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-33253-4_15"}],"event":{"name":"SPLC 2013: 17th International Software Product Line Conference","location":"Tokyo Japan","acronym":"SPLC 2013","sponsor":["IPSJ Information Processing Society of Japan"]},"container-title":["Proceedings of the 17th International Software Product Line Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491627.2491639","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491627.2491639","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,6]],"date-time":"2026-08-06T14:21:56Z","timestamp":1786026116000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491627.2491639"}},"subtitle":["an exploratory study"],"short-title":[],"issued":{"date-parts":[[2013,8,26]]},"references-count":40,"alternative-id":["10.1145\/2491627.2491639","10.1145\/2491627"],"URL":"https:\/\/doi.org\/10.1145\/2491627.2491639","relation":{},"subject":[],"published":{"date-parts":[[2013,8,26]]},"assertion":[{"value":"2013-08-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}