{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T08:22:50Z","timestamp":1782289370833,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,25]],"date-time":"2012-01-25T00:00:00Z","timestamp":1327449600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Andalusian Government","award":["ISABEL project (TIC-2533)THEOS project (TIC-5906)"],"award-info":[{"award-number":["ISABEL project (TIC-2533)THEOS project (TIC-5906)"]}]},{"name":"Spanish Government under CICYT project SETI","award":["TIN2009-07366"],"award-info":[{"award-number":["TIN2009-07366"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,1,25]]},"DOI":"10.1145\/2110147.2110155","type":"proceedings-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T14:49:33Z","timestamp":1328021373000},"page":"63-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":72,"title":["BeTTy"],"prefix":"10.1145","author":[{"given":"Sergio","family":"Segura","sequence":"first","affiliation":[{"name":"University of Seville, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9 A.","family":"Galindo","sequence":"additional","affiliation":[{"name":"University of Seville, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Benavides","sequence":"additional","affiliation":[{"name":"University of Seville, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9 A.","family":"Parejo","sequence":"additional","affiliation":[{"name":"University of Seville, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonio","family":"Ruiz-Cort\u00e9s","sequence":"additional","affiliation":[{"name":"University of Seville, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,1,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_2_1","volume-title":"Managing Variability for Software Product Lines: Working With Variability Mechanisms","author":"Benavides D.","year":"2006","unstructured":"D. Benavides , S. Segura , P. Trinidad , and A. Ruiz-Cort\u00e9s . A first step towards a framework for the automated analysis of feature models . In Managing Variability for Software Product Lines: Working With Variability Mechanisms , 2006 . D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cort\u00e9s. A first step towards a framework for the automated analysis of feature models. In Managing Variability for Software Product Lines: Working With Variability Mechanisms, 2006."},{"key":"e_1_3_2_1_3_1","volume-title":"http:\/\/www.isa.us.es\/fama\/, accessed","author":"Tool Suite FaMa","year":"2011","unstructured":"FaMa Tool Suite . http:\/\/www.isa.us.es\/fama\/, accessed November 2011 . FaMa Tool Suite. http:\/\/www.isa.us.es\/fama\/, accessed November 2011."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceeding of the First International Workshop on Automated Configuration and Tailoring of Applications (ACOTA)","author":"Galindo J. A.","year":"2010","unstructured":"J. A. Galindo , D. Benavides , and S. Segura . Debian packages repositories as software product line models. towards automated analysis . In Proceeding of the First International Workshop on Automated Configuration and Tailoring of Applications (ACOTA) , 2010 . J. A. Galindo, D. Benavides, and S. Segura. Debian packages repositories as software product line models. towards automated analysis. In Proceeding of the First International Workshop on Automated Configuration and Tailoring of Applications (ACOTA), 2010."},{"key":"e_1_3_2_1_5_1","volume-title":"http:\/\/www.graphviz.org\/, accessed","year":"2011","unstructured":"Graphviz.. http:\/\/www.graphviz.org\/, accessed November 2011 . Graphviz.. http:\/\/www.graphviz.org\/, accessed November 2011."},{"key":"e_1_3_2_1_6_1","volume-title":"The Computer Science Handbook","author":"Kapfhammer G.","year":"2004","unstructured":"G. Kapfhammer . The Computer Science Handbook , chapter Software Testing. CRC Press , 2 nd edition, June , 2004 . G. Kapfhammer. The Computer Science Handbook, chapter Software Testing. CRC Press, 2nd edition, June, 2004.","edition":"2"},{"key":"e_1_3_2_1_7_1","unstructured":"Apache Math. Apache math. http:\/\/commons.apache.org\/math\/ accessed November 2011.  Apache Math. Apache math. http:\/\/commons.apache.org\/math\/ accessed November 2011."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.3.2.69-82"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2009.0096"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.11.002"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.03.006"},{"key":"e_1_3_2_1_14_1","first-page":"137","volume-title":"Third International Workshop on Variability Modelling of Software-intensive Systems","author":"Segura S.","year":"2009","unstructured":"S. Segura and A. Ruiz-Cort\u00e9s . Benchmarking on the automated analyses of feature models: A preliminary roadmap . In Third International Workshop on Variability Modelling of Software-intensive Systems , pages 137 -- 143 , Seville, Spain , 2009 . S. Segura and A. Ruiz-Cort\u00e9s. Benchmarking on the automated analyses of feature models: A preliminary roadmap. In Third International Workshop on Variability Modelling of Software-intensive Systems, pages 137--143, Seville, Spain, 2009."},{"key":"e_1_3_2_1_15_1","volume-title":"Fourth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS'10)","author":"She S.","year":"2010","unstructured":"S. She , R. Lotufo , T. Berger , A. Wasowski , and K. Czarnecki . The variability model of the linux kernel . In Fourth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS'10) , Linz, Austria , January 2010 . S. She, R. Lotufo, T. Berger, A. Wasowski, and K. Czarnecki. The variability model of the linux kernel. In Fourth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS'10), Linz, Austria, January 2010."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985856"},{"key":"e_1_3_2_1_17_1","unstructured":"S. P. L. O. T.: Software Product Lines Online Tools. http:\/\/www.splot-research.org\/ accessed November 2011.  S. P. L. O. T.: Software Product Lines Online Tools. http:\/\/www.splot-research.org\/ accessed November 2011."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070526"},{"key":"e_1_3_2_1_19_1","volume-title":"2nd International Workshop on Visualisation in Software Product Line Engineering (ViSPLE 2008)","author":"Trinidad P.","year":"2008","unstructured":"P. Trinidad , A. Ruiz-Cort\u00e9s , D. Benavides , and S. Segura . Three-dimensional feature diagrams visualization . In 2nd International Workshop on Visualisation in Software Product Line Engineering (ViSPLE 2008) , 2008 . P. Trinidad, A. Ruiz-Cort\u00e9s, D. Benavides, and S. Segura. Three-dimensional feature diagrams visualization. In 2nd International Workshop on Visualisation in Software Product Line Engineering (ViSPLE 2008), 2008."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.011"}],"event":{"name":"VaMoS '12: Variability Modeling of Software-intensive Systems","location":"Leipzig Germany","acronym":"VaMoS '12"},"container-title":["Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2110147.2110155","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2110147.2110155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:39Z","timestamp":1750249419000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2110147.2110155"}},"subtitle":["benchmarking and testing on the automated analysis of feature models"],"short-title":[],"issued":{"date-parts":[[2012,1,25]]},"references-count":19,"alternative-id":["10.1145\/2110147.2110155","10.1145\/2110147"],"URL":"https:\/\/doi.org\/10.1145\/2110147.2110155","relation":{},"subject":[],"published":{"date-parts":[[2012,1,25]]},"assertion":[{"value":"2012-01-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}