{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:47:06Z","timestamp":1742914026072,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030671471"},{"type":"electronic","value":"9783030671488"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-67148-8_9","type":"book-chapter","created":{"date-parts":[[2021,2,3]],"date-time":"2021-02-03T13:14:58Z","timestamp":1612358098000},"page":"107-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance"],"prefix":"10.1007","author":[{"given":"Cristian","family":"Vidal-Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 A.","family":"Galindo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jes\u00fas","family":"Gir\u00e1ldez-Cru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Benavides","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,2,4]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D., Kstner, C., Saake, G.: Feature-Oriented Software Product Lines: Concepts and Implementation. Springer, Heidelberg (2013)"},{"key":"9_CR2","unstructured":"Bakker, R.R., Dikker, F., Tempelman, F., Wognum, P.M.: Diagnosing and solving over-determined constraint satisfaction problems, pp. 276\u2013281 (1993)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Barroso, L.A., Hoelzle, U.: The Datacenter As a Computer: An Introduction to the Design of Warehouse-Scale Machines. Morgan and Claypool Publishers, 1st edn. (2009)","DOI":"10.2200\/S00193ED1V01Y200905CAC006"},{"key":"9_CR4","doi-asserted-by":"publisher","unstructured":"Batory, D.: Feature models, grammars, and propositional formulas. In: Proceedings of the 9th International Conference on Software Product Lines, pp. 7\u201320 (2005). https:\/\/doi.org\/10.1007\/11554844_3","DOI":"10.1007\/11554844_3"},{"key":"9_CR5","unstructured":"Benavides, D., Segura, S., Trinidad, P., Ruiz\u2013Cort\u00e9s, A.: FAMA: tooling a framework for the automated analysis of feature models. In: Proceeding of the 1st International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS), pp. 129\u2013134 (2007)"},{"issue":"6","key":"9_CR6","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., Ruiz-Cort\u00e9s, A.: Automated analysis of feature models 20 years later: a literature review. J. Inf. Syst. 35(6), 615\u2013636 (2010)","journal-title":"J. Inf. Syst."},{"key":"9_CR7","unstructured":"Facebook: More details on today\u2019s outage. https:\/\/m.facebook.com\/nt\/screen\/?params=%7B%22note_id%22%3A10158791436142200%7D&path=%2Fnotes%2F%7Bnote_id%7D&_rdr. Accessed 13 May 2018"},{"key":"9_CR8","unstructured":"Felfernig, A., Benavides, D., Galindo, J., Reinfrank, F.: Towards anomaly explanation in feature models. In: Proceedings of the 15th International Configuration Workshop (2013)"},{"key":"9_CR9","volume-title":"Knowledge-Based Configuration: From Research to Business Cases","author":"A Felfernig","year":"2014","unstructured":"Felfernig, A., Hotz, L., Bagley, C., Tiihonen, J.: Knowledge-Based Configuration: From Research to Business Cases, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (2014)","edition":"1"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1017\/S0890060411000011","volume":"26","author":"A Felfernig","year":"2012","unstructured":"Felfernig, A., Schubert, M., Zehentner, C.: An efficient diagnosis algorithm for inconsistent constraint sets. Artif. Intell. Eng. Design Anal. Manuf. 26(1), 53\u201362 (2012)","journal-title":"Artif. Intell. Eng. Design Anal. Manuf."},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10844-017-0492-1","volume":"51","author":"A Felfernig","year":"2018","unstructured":"Felfernig, A., Walter, R., Galindo, J.A., Benavides, D., Polat Erdeniz, S., Atas, M., Reiterer, S.: Anytime diagnosis for reconfiguration. J. Intell. Inf. Syst. 51, 161\u2013182 (2018)","journal-title":"J. Intell. Inf. Syst."},{"key":"9_CR12","unstructured":"Felfernig, A., Walter, R., Reiterer, S.: FlexDiag: anytime diagnosis for reconfiguration. In: Proceedings of the 17th International Configuration Workshop (2015)"},{"issue":"9","key":"9_CR13","doi-asserted-by":"publisher","first-page":"895","DOI":"10.1109\/TSE.2014.2331073","volume":"40","author":"D Fern\u00e1ndez-Amor\u00f3s","year":"2014","unstructured":"Fern\u00e1ndez-Amor\u00f3s, D., Heradio, R., Cerrada, J.A., Cerrada, C.: Ascalable approach to exact model and commonality counting for extended feature models. IEEE Trans. Software Eng. 40(9), 895\u2013910 (2014). https:\/\/doi.org\/10.1109\/TSE.2014.2331073","journal-title":"IEEE Trans. Software Eng."},{"key":"9_CR14","doi-asserted-by":"publisher","unstructured":"G\u00f3mez, A., Ramos, I.: Automatic tool support for cardinality-based feature modeling with model constraints for information systems development. In: Information Systems Development, Business Systems and Services: Modeling and Development [Proceedings of ISD 2010, Charles University in Prague, Czech Republic, August 25-27, 2010], pp. 271\u2013284 (2010). https:\/\/doi.org\/10.1007\/978-1-4419-9790-6_22","DOI":"10.1007\/978-1-4419-9790-6_22"},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"12","DOI":"10.3923\/jse.2017.12.21","volume":"11","author":"S Ibraheem","year":"2017","unstructured":"Ibraheem, S., Ghoul, S.: Software evolution: a features variability modeling approach. J. Softw. Eng. 11, 12\u201321 (2017)","journal-title":"J. Softw. Eng."},{"key":"9_CR16","unstructured":"Junker, U.: QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems. In: Proceedings of the 19th National Conference on Artificial Intelligence (AAAI), pp. 167\u2013172 (2004)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU\/SEI-90-TR-021, Software Engineering Institute, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"9_CR18","doi-asserted-by":"publisher","unstructured":"Karata\u015f, A.S., O\u011fuzt\u00fcz\u00fcn, H., Do\u011fru, A.: From extended feature models to constraint logic programming. Sci. Comput. Program. 78(12), 2295 \u2013 2312 (2013). https:\/\/doi.org\/10.1016\/j.scico.2012.06.004. http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642312001153. Special Section on International Software Product Line Conference 2010 and Fundamentals of Software Engineering (selected papers of FSEN 2011)","DOI":"10.1016\/j.scico.2012.06.004"},{"key":"9_CR19","unstructured":"Li, J.Z., et al.: Challenges to error diagnosis in Hadoop ecosystems. In: Proceedings of the 27th Large Installation System Administration Conference (LISA), pp. 145\u2013154 (2013)"},{"key":"9_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61443-4","volume-title":"Mastering Software Variability with FeatureIDE","author":"J Meinicke","year":"2017","unstructured":"Meinicke, J., Th\u00fcm, T., Schr\u00f6ter, R., Benduhn, F., Leich, T., Saake, G.: Mastering Software Variability with FeatureIDE. Springer, Cham (2017)"},{"issue":"1","key":"9_CR21","first-page":"57","volume":"23","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. AI J. 23(1), 57\u201395 (1987)","journal-title":"AI J."},{"key":"9_CR22","doi-asserted-by":"publisher","unstructured":"Riener, H., Fey, G.: Exact diagnosis using Boolean satisfiability. In: Proceedings of the 35th International Conference on Computer-Aided Design. ICCAD 2016. Association for Computing Machinery, New York (2016). https:\/\/doi.org\/10.1145\/2966986.2967036","DOI":"10.1145\/2966986.2967036"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Segura, S., Galindo, J.A., Benavides, D., Parejo, J.A., Ruiz-Cort\u00e9s, A.: BeTTy: benchmarking and testing on the automated analysis of feature models. In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, pp. 63\u201371 (2012)","DOI":"10.1145\/2110147.2110155"},{"issue":"7","key":"9_CR24","doi-asserted-by":"publisher","first-page":"1094","DOI":"10.1016\/j.jss.2010.02.017","volume":"83","author":"J White","year":"2010","unstructured":"White, J., Benavides, D., Schmidt, D.C., Trinidad, P., Dougherty, B., Cort\u00e9s, A.R.: Automated diagnosis of feature model configurations. J. Syst. Softw. 83(7), 1094\u20131107 (2010)","journal-title":"J. Syst. Softw."},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Yin, Z., Ma, X., Zheng, J., Zhou, Y., Bairavasundaram, L.N., Pasupathy, S.: An empirical study on configuration errors in commercial and open source systems. In: Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, pp. 159\u2013172 (2011)","DOI":"10.1145\/2043556.2043572"}],"container-title":["Studies in Computational Intelligence","Intelligent Systems in Industrial Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-67148-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T16:43:04Z","timestamp":1619282584000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-67148-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030671471","9783030671488"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-67148-8_9","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 February 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISMIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Methodologies for Intelligent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Graz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ismis2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ismis.ist.tugraz.at\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"79","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"35","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}