{"id":"https://openalex.org/W2967482817","doi":"https://doi.org/10.1145/3336294.3342376","title":"Feature-Family-Based Reliability Analysis of Software Product Lines","display_name":"Feature-Family-Based Reliability Analysis of Software Product Lines","publication_year":2019,"publication_date":"2019-08-08","ids":{"openalex":"https://openalex.org/W2967482817","doi":"https://doi.org/10.1145/3336294.3342376","mag":"2967482817"},"language":"en","primary_location":{"id":"doi:10.1145/3336294.3342376","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3336294.3342376","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048571728","display_name":"Andr\u00e9 Luiz Peron Martins Lanna","orcid":null},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Andre Lanna","raw_affiliation_strings":["University of Brasilia, Brasilia, DF, Brazil"],"affiliations":[{"raw_affiliation_string":"University of Brasilia, Brasilia, DF, Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030386650","display_name":"Thiago Castro","orcid":"https://orcid.org/0000-0001-5758-2097"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Thiago Castro","raw_affiliation_strings":["University of Brasilia, Brasilia, DF, Brazil"],"affiliations":[{"raw_affiliation_string":"University of Brasilia, Brasilia, DF, Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038044293","display_name":"Vander Alves","orcid":"https://orcid.org/0000-0003-1573-048X"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Vander Alves","raw_affiliation_strings":["University of Brasilia, Brasilia, DF, Brazil"],"affiliations":[{"raw_affiliation_string":"University of Brasilia, Brasilia, DF, Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039374886","display_name":"Gena\u00edna Nunes Rodrigues","orcid":"https://orcid.org/0000-0003-1661-8131"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Genaina Rodrigues","raw_affiliation_strings":["University of Brasilia, Brasilia, DF, Brazil"],"affiliations":[{"raw_affiliation_string":"University of Brasilia, Brasilia, DF, Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011513275","display_name":"Pierre\u2010Yves Schobbens","orcid":"https://orcid.org/0000-0001-8677-4485"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Pierre-Yves Schobbens","raw_affiliation_strings":["University of Namur, Namur, Belgium"],"affiliations":[{"raw_affiliation_string":"University of Namur, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054951840","display_name":"Sven Apel","orcid":"https://orcid.org/0000-0003-3687-2233"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sven Apel","raw_affiliation_strings":["Saarland University, Saarbr\u00fccken, Germany"],"affiliations":[{"raw_affiliation_string":"Saarland University, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5048571728"],"corresponding_institution_ids":["https://openalex.org/I150729083"],"apc_list":null,"apc_paid":null,"fwci":0.4345,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.6423554,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"64","last_page":"64"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7659245729446411},{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.7277419567108154},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.7021352648735046},{"id":"https://openalex.org/keywords/feature-model","display_name":"Feature model","score":0.6393297910690308},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6306107044219971},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.5674048662185669},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.497967004776001},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48956021666526794},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4751534163951874},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.45148593187332153},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.43740126490592957},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4326590597629547},{"id":"https://openalex.org/keywords/combinatorial-explosion","display_name":"Combinatorial explosion","score":0.4271673262119293},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.366405725479126},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3591819405555725},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3544546663761139},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.3436512351036072},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.272086501121521},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2390994131565094},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.23297584056854248},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16618496179580688},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10007983446121216}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7659245729446411},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.7277419567108154},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.7021352648735046},{"id":"https://openalex.org/C101814296","wikidata":"https://www.wikidata.org/wiki/Q5439685","display_name":"Feature model","level":3,"score":0.6393297910690308},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6306107044219971},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.5674048662185669},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.497967004776001},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48956021666526794},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4751534163951874},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.45148593187332153},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.43740126490592957},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4326590597629547},{"id":"https://openalex.org/C115908005","wikidata":"https://www.wikidata.org/wiki/Q2668364","display_name":"Combinatorial explosion","level":2,"score":0.4271673262119293},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.366405725479126},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3591819405555725},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3544546663761139},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3436512351036072},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.272086501121521},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2390994131565094},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.23297584056854248},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16618496179580688},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10007983446121216},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3336294.3342376","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3336294.3342376","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.unamur.be:openaire_cris_publications/95b2bf93-11b3-4427-87e9-d0b5bba341f7","is_oa":false,"landing_page_url":"https://researchportal.unamur.be/en/publications/95b2bf93-11b3-4427-87e9-d0b5bba341f7","pdf_url":null,"source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lanna, A, Castro, T, Alves, V, Rodrigues, G, Schobbens, P Y & Apel, S 2019, Feature-family-based reliability analysis of software product lines. in T Berger, P Collet, L Duchien, T Fogdal, P Heymans, T Kehrer, J Martinez, R Mazo, L Montalvillo, C Salinesi, X Ternava, T Thum & T Ziadi (eds), SPLC 2019 : Proceedings of the 23rd International Systems and Software Product Line Conference . vol. A, ACM International Conference Proceeding Series, vol. A, ACM Press, 23rd International Systems and Software Product Line Conference, SPLC 2019, co-located with the 13th European Conference on Software Architecture, ECSA 2019, Paris, France, 9/09/19. https://doi.org/10.1145/3336294.3342376","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4300000071525574,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2903450681","https://openalex.org/W2005449645","https://openalex.org/W2612841534","https://openalex.org/W2260634139","https://openalex.org/W2145728065","https://openalex.org/W2158471572","https://openalex.org/W2414525409","https://openalex.org/W4255726044","https://openalex.org/W1512360405","https://openalex.org/W2967482817"],"abstract_inverted_index":{"Context:":[0],"Verification":[1],"techniques":[2,29,58,84],"such":[3],"as":[4],"model":[5,53,61],"checking":[6,62],"are":[7,89],"being":[8],"applied":[9],"to":[10,30,52,66],"ensure":[11],"that":[12,74],"software":[13,31],"systems":[14],"achieve":[15],"desired":[16],"quality":[17],"levels":[18],"and":[19,23,47,63],"fulfill":[20],"their":[21,93],"functional":[22],"non-functional":[24],"specification.":[25],"However,":[26],"applying":[27],"these":[28],"product":[32],"lines":[33],"is":[34],"a":[35],"twofold":[36],"challenge,":[37],"given":[38,95],"the":[39,43,48,68,96,100],"exponential":[40],"blowup":[41,98],"of":[42,45,99],"number":[44],"products":[46],"state-explosion":[49],"problem":[50],"inherent":[51],"checking.":[54],"Current":[55],"product-line":[56,86],"verification":[57,83],"leverage":[59],"symbolic":[60],"variability":[64],"information":[65],"optimize":[67],"analysis":[69,88],"but":[70],"still":[71],"face":[72],"limitations":[73],"make":[75],"them":[76],"costly":[77],"or":[78],"infeasible.":[79],"In":[80],"particular,":[81],"state-of-the-art":[82],"for":[85],"reliability":[87],"enumerative":[90],"which":[91],"hinders":[92],"applicability,":[94],"latent":[97],"configuration":[101],"space.":[102]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}