{"id":"https://openalex.org/W2009288394","doi":"https://doi.org/10.1145/2491411.2491437","title":"Scalable analysis of variable software","display_name":"Scalable analysis of variable software","publication_year":2013,"publication_date":"2013-08-18","ids":{"openalex":"https://openalex.org/W2009288394","doi":"https://doi.org/10.1145/2491411.2491437","mag":"2009288394"},"language":"en","primary_location":{"id":"doi:10.1145/2491411.2491437","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491411.2491437","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering","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/A5004461302","display_name":"J\u00f6rg Liebig","orcid":null},"institutions":[{"id":"https://openalex.org/I186354981","display_name":"University of Passau","ror":"https://ror.org/05ydjnb78","country_code":"DE","type":"education","lineage":["https://openalex.org/I186354981"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"J\u00f6rg Liebig","raw_affiliation_strings":["University of Passau, Germany"],"affiliations":[{"raw_affiliation_string":"University of Passau, Germany","institution_ids":["https://openalex.org/I186354981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006126351","display_name":"Alexander von Rhein","orcid":"https://orcid.org/0000-0003-4327-8363"},"institutions":[{"id":"https://openalex.org/I186354981","display_name":"University of Passau","ror":"https://ror.org/05ydjnb78","country_code":"DE","type":"education","lineage":["https://openalex.org/I186354981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander von Rhein","raw_affiliation_strings":["University of Passau, Germany"],"affiliations":[{"raw_affiliation_string":"University of Passau, Germany","institution_ids":["https://openalex.org/I186354981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067467896","display_name":"Christian K\u00e4stner","orcid":"https://orcid.org/0000-0002-4450-4572"},"institutions":[{"id":"https://openalex.org/I2802039673","display_name":"California Miramar University","ror":"https://ror.org/04phxq043","country_code":"US","type":"education","lineage":["https://openalex.org/I2802039673"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christian K\u00e4stner","raw_affiliation_strings":["CMU, USA"],"affiliations":[{"raw_affiliation_string":"CMU, USA","institution_ids":["https://openalex.org/I2802039673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054951840","display_name":"Sven Apel","orcid":"https://orcid.org/0000-0003-3687-2233"},"institutions":[{"id":"https://openalex.org/I186354981","display_name":"University of Passau","ror":"https://ror.org/05ydjnb78","country_code":"DE","type":"education","lineage":["https://openalex.org/I186354981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sven Apel","raw_affiliation_strings":["University of Passau, Germany"],"affiliations":[{"raw_affiliation_string":"University of Passau, Germany","institution_ids":["https://openalex.org/I186354981"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049775248","display_name":"Jens D\u00f6rre","orcid":null},"institutions":[{"id":"https://openalex.org/I186354981","display_name":"University of Passau","ror":"https://ror.org/05ydjnb78","country_code":"DE","type":"education","lineage":["https://openalex.org/I186354981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jens D\u00f6rre","raw_affiliation_strings":["University of Passau, Germany"],"affiliations":[{"raw_affiliation_string":"University of Passau, Germany","institution_ids":["https://openalex.org/I186354981"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001151726","display_name":"Christian Lengauer","orcid":"https://orcid.org/0000-0002-2717-3417"},"institutions":[{"id":"https://openalex.org/I186354981","display_name":"University of Passau","ror":"https://ror.org/05ydjnb78","country_code":"DE","type":"education","lineage":["https://openalex.org/I186354981"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Lengauer","raw_affiliation_strings":["University of Passau, Germany"],"affiliations":[{"raw_affiliation_string":"University of Passau, Germany","institution_ids":["https://openalex.org/I186354981"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5004461302"],"corresponding_institution_ids":["https://openalex.org/I186354981"],"apc_list":null,"apc_paid":null,"fwci":59.8999,"has_fulltext":false,"cited_by_count":152,"citation_normalized_percentile":{"value":0.99885122,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"81","last_page":"91"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8207347393035889},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6458690762519836},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5744990110397339},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.4989051818847656},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47685301303863525},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.4681183695793152},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.46631085872650146},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.43528395891189575},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.42664000391960144},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4209573268890381},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.41908180713653564},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.17522993683815002},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17341259121894836},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10156261920928955}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8207347393035889},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6458690762519836},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5744990110397339},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.4989051818847656},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47685301303863525},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4681183695793152},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.46631085872650146},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.43528395891189575},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.42664000391960144},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4209573268890381},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.41908180713653564},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.17522993683815002},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17341259121894836},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10156261920928955},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2491411.2491437","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2491411.2491437","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W123201289","https://openalex.org/W1495498564","https://openalex.org/W1500250067","https://openalex.org/W1552525409","https://openalex.org/W1561032926","https://openalex.org/W1710690747","https://openalex.org/W1972612110","https://openalex.org/W1976758788","https://openalex.org/W1977497804","https://openalex.org/W1999214372","https://openalex.org/W2003113483","https://openalex.org/W2009093319","https://openalex.org/W2009982135","https://openalex.org/W2016954568","https://openalex.org/W2049497188","https://openalex.org/W2049599421","https://openalex.org/W2069283169","https://openalex.org/W2069920427","https://openalex.org/W2070929035","https://openalex.org/W2071160808","https://openalex.org/W2071797673","https://openalex.org/W2072325005","https://openalex.org/W2072590803","https://openalex.org/W2075699551","https://openalex.org/W2094819373","https://openalex.org/W2100619699","https://openalex.org/W2106009651","https://openalex.org/W2115771296","https://openalex.org/W2115910430","https://openalex.org/W2121396013","https://openalex.org/W2123763923","https://openalex.org/W2124682367","https://openalex.org/W2127574686","https://openalex.org/W2128204165","https://openalex.org/W2130195901","https://openalex.org/W2133299374","https://openalex.org/W2134949927","https://openalex.org/W2142960988","https://openalex.org/W2146146776","https://openalex.org/W2146763372","https://openalex.org/W2150069716","https://openalex.org/W2154897437","https://openalex.org/W2171002355","https://openalex.org/W2246820938","https://openalex.org/W2340735175","https://openalex.org/W2618435232","https://openalex.org/W2913459036","https://openalex.org/W6633490874","https://openalex.org/W6668684778","https://openalex.org/W6684644128"],"related_works":["https://openalex.org/W3089408602","https://openalex.org/W2867457158","https://openalex.org/W2888408058","https://openalex.org/W4401755514","https://openalex.org/W2765641823","https://openalex.org/W4297908618","https://openalex.org/W3111646971","https://openalex.org/W2019168903","https://openalex.org/W2914996832","https://openalex.org/W2617035575"],"abstract_inverted_index":{"The":[0],"advent":[1],"of":[2,23,34,37,85,137,142,152],"variability":[3],"management":[4],"and":[5,56,75,135,139,159,173],"generator":[6],"technology":[7],"enables":[8],"users":[9],"to":[10,31,83,91,108,125,164,188],"derive":[11],"individual":[12,106],"variants":[13,38,107],"from":[14],"a":[15,21],"variable":[16,98],"code":[17,99],"base":[18,100],"based":[19],"on":[20],"selection":[22],"desired":[24],"configuration":[25],"options.":[26],"This":[27],"approach":[28],"gives":[29],"rise":[30],"the":[32,65,69,97,103,132,147,169],"generation":[33],"possibly":[35],"billions":[36,84],"that,":[39],"however,":[40],"cannot":[41],"be":[42],"efficiently":[43],"analyzed":[44],"for":[45],"errors":[46],"with":[47,186],"classic":[48],"analysis":[49,66,110,155,181,189],"techniques.":[50],"To":[51,129],"address":[52],"this":[53],"issue,":[54],"researchers":[55,88],"practitioners":[57],"usually":[58],"apply":[59],"sampling":[60,63,80,184],"heuristics.":[61],"While":[62],"reduces":[64],"effort":[67],"significantly,":[68],"information":[70],"obtained":[71],"is":[72,77,178],"necessarily":[73],"incomplete":[74],"it":[76],"unknown":[78],"whether":[79],"heuristics":[81,185],"scale":[82],"variants.":[86],"Recently,":[87],"have":[89,120],"begun":[90],"develop":[92],"variability-aware":[93,118,138,180],"analyses":[94,119,141],"that":[95,179],"analyze":[96],"directly":[101],"exploiting":[102],"similarities":[104],"among":[105],"reduce":[109],"effort.":[111],"However,":[112],"while":[113,191],"being":[114],"promising,":[115],"so":[116],"far,":[117],"been":[121],"applied":[122,162],"mostly":[123],"only":[124],"small":[126],"academic":[127],"systems.":[128],"learn":[130],"about":[131],"mutual":[133],"strengths":[134],"weaknesses":[136],"sampling-based":[140],"software":[143],"systems,":[144],"we":[145],"compared":[146],"two":[148,153],"strategies":[149],"by":[150],"means":[151],"concrete":[154],"implementations":[156],"(type":[157],"checking":[158],"liveness":[160],"analysis),":[161],"them":[163],"three":[165],"subject":[166],"systems:":[167],"Busybox,":[168],"x86":[170],"Linux":[171],"kernel,":[172],"OpenSSL.":[174],"Our":[175],"key":[176],"finding":[177],"outperforms":[182],"most":[183],"respect":[187],"time":[190],"preserving":[192],"completeness.":[193]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":11},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":16},{"year":2018,"cited_by_count":10},{"year":2017,"cited_by_count":14},{"year":2016,"cited_by_count":21},{"year":2015,"cited_by_count":17},{"year":2014,"cited_by_count":22},{"year":2013,"cited_by_count":10}],"updated_date":"2026-03-09T08:58:05.943551","created_date":"2025-10-10T00:00:00"}