{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:49Z","timestamp":1750306969189,"version":"3.41.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-03T11:57:17Z","timestamp":1378209437000},"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":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Barais","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Rennes 1, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Acher","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Rennes 1, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[{"name":"RESEARCH LAB, Rennes, France and Lysaker, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Le Noir","sequence":"additional","affiliation":[{"name":"Thales Research & Technology, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"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":"crossref","unstructured":"M.\n      Alf\u00e9rez R. E.\n      Lopez-Herrejon A.\n      Moreira V.\n      Amaral and \n      A.\n      Egyed\n  . \n  Supporting consistency checking between features and software product line use scenarios\n  . In K. Schmid editor ICSR volume \n  6727\n   of \n  Lecture Notes in Computer Science pages \n  20\n  --\n  35\n  . \n  Springer 2011\n  .   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.1007\/978-3-642-21347-2_3"},{"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. 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","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","first-page":"81","volume-title":"SPLC'09","author":"Chen L.","year":"2009","unstructured":"L. Chen , M. A. Babar , and N. Ali . Variability management in software product lines: a systematic review . In SPLC'09 , pages 81 -- 90 , 2009 . L. Chen, M. A. Babar, and N. Ali. Variability management in software product lines: a systematic review. In SPLC'09, pages 81--90, 2009."},{"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","volume-title":"Software Product Lines: Practices and Patterns","author":"Clements P.","year":"2001","unstructured":"P. Clements and L. M. Northrop . Software Product Lines: Practices and Patterns . Addison-Wesley Professional , 2001 . P. Clements and L. M. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley Professional, 2001."},{"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":"Infrastructure, V2.1.2. Technical report","author":"O. M. Group","year":"2007","unstructured":"O. M. Group . OMG Unified Modeling Language (OMG UML) , Infrastructure, V2.1.2. Technical report , Nov. 2007 . 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":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl K.","year":"2005","unstructured":"K. Pohl , G. B\u00f6ckle , and F. J. van der Linden . Software Product Line Engineering: Foundations, Principles and Techniques . Springer-Verlag , 2005 . K. Pohl, G. B\u00f6ckle, and F. J. van der Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag, 2005."},{"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 . 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","DOI":"10.1007\/978-3-642-29645-1_20"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"A.\n      Svendsen X.\n      Zhang R.\n      Lind-Tviberg F.\n      Fleurey \u00d8. Haugen B.\n      M\u00f8ller-Pedersen and \n      G. K.\n      Olsen\n  . \n  Developing a software product line for train control: A case study of cvl\n  . In J. Bosch and J. Lee editors SPLC volume \n  6287\n   of \n  Lecture Notes in Computer Science pages \n  106\n  --\n  120\n  . \n  Springer 2010\n  .   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.1007\/978-3-642-15579-6_8"},{"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. 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","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","sponsor":["IPSJ Information Processing Society of Japan"],"location":"Tokyo Japan","acronym":"SPLC 2013"},"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":[[2025,6,18]],"date-time":"2025-06-18T08:39:22Z","timestamp":1750235962000},"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":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}