{"id":"https://openalex.org/W1807339296","doi":"https://doi.org/10.5075/epfl-thesis-5087","title":"An Integrated Framework for Improving the Quality and Reliability of Software Upgrades","display_name":"An Integrated Framework for Improving the Quality and Reliability of Software Upgrades","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W1807339296","doi":"https://doi.org/10.5075/epfl-thesis-5087","mag":"1807339296"},"language":"en","primary_location":{"id":"pmh:oai:infoscience.tind.io:166112","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/67870","pdf_url":"http://infoscience.epfl.ch/record/166112","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"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":"","raw_type":"doctoral thesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/166112","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081470806","display_name":"Olivier Crameri","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Crameri, Olivier","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5081470806"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/upgrade","display_name":"Upgrade","score":0.8349573612213135},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7494754791259766},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.7165346741676331},{"id":"https://openalex.org/keywords/vendor","display_name":"Vendor","score":0.6178592443466187},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.5641725659370422},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5206222534179688},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4811740815639496},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.45128872990608215},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4151317775249481},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.39751991629600525},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2745633125305176}],"concepts":[{"id":"https://openalex.org/C2780615140","wikidata":"https://www.wikidata.org/wiki/Q920419","display_name":"Upgrade","level":2,"score":0.8349573612213135},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7494754791259766},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.7165346741676331},{"id":"https://openalex.org/C2777338717","wikidata":"https://www.wikidata.org/wiki/Q1762621","display_name":"Vendor","level":2,"score":0.6178592443466187},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.5641725659370422},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5206222534179688},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4811740815639496},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.45128872990608215},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4151317775249481},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.39751991629600525},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2745633125305176},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:infoscience.tind.io:166112","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/67870","pdf_url":"http://infoscience.epfl.ch/record/166112","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"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":"","raw_type":"doctoral thesis"},{"id":"pmh:oai:infoscience.epfl.ch:166112","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/166112","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"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":"","raw_type":"Text"},{"id":"doi:10.5075/epfl-thesis-5087","is_oa":true,"landing_page_url":"https://doi.org/10.5075/epfl-thesis-5087","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dissertation"},{"id":"mag:1807339296","is_oa":false,"landing_page_url":"https://infoscience.epfl.ch/record/166112","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:infoscience.tind.io:166112","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/67870","pdf_url":"http://infoscience.epfl.ch/record/166112","source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"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":"","raw_type":"doctoral thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W1807339296.pdf"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W25249528","https://openalex.org/W150374354","https://openalex.org/W157156687","https://openalex.org/W207759855","https://openalex.org/W1497028280","https://openalex.org/W1577404745","https://openalex.org/W1578175986","https://openalex.org/W1582749986","https://openalex.org/W1608234229","https://openalex.org/W1710734607","https://openalex.org/W1867761151","https://openalex.org/W1975868314","https://openalex.org/W1976208596","https://openalex.org/W1992105245","https://openalex.org/W2009489720","https://openalex.org/W2028573465","https://openalex.org/W2033472898","https://openalex.org/W2056980397","https://openalex.org/W2065948900","https://openalex.org/W2066660519","https://openalex.org/W2082000355","https://openalex.org/W2096449544","https://openalex.org/W2097576663","https://openalex.org/W2100583963","https://openalex.org/W2103647628","https://openalex.org/W2104993088","https://openalex.org/W2107089133","https://openalex.org/W2108863067","https://openalex.org/W2109914336","https://openalex.org/W2110318050","https://openalex.org/W2113531724","https://openalex.org/W2117009500","https://openalex.org/W2121766388","https://openalex.org/W2124877509","https://openalex.org/W2129487583","https://openalex.org/W2130473288","https://openalex.org/W2132897303","https://openalex.org/W2133612077","https://openalex.org/W2137433502","https://openalex.org/W2142892618","https://openalex.org/W2145385214","https://openalex.org/W2152469715","https://openalex.org/W2154698535","https://openalex.org/W2156858199","https://openalex.org/W2163499368","https://openalex.org/W2165100126","https://openalex.org/W2167415250","https://openalex.org/W2169227623"],"related_works":["https://openalex.org/W2069406606","https://openalex.org/W2165150424","https://openalex.org/W2131181375","https://openalex.org/W2111727501","https://openalex.org/W1157322828","https://openalex.org/W2005083693","https://openalex.org/W2170783718","https://openalex.org/W2170133325","https://openalex.org/W1963489931","https://openalex.org/W3129790798","https://openalex.org/W2152217836","https://openalex.org/W2148850475","https://openalex.org/W2115855918","https://openalex.org/W2142904844","https://openalex.org/W3089421180","https://openalex.org/W2901751894","https://openalex.org/W2168941400","https://openalex.org/W2016840267","https://openalex.org/W2078291313","https://openalex.org/W1792306319"],"abstract_inverted_index":{"Despite":[0],"major":[1],"advances":[2],"in":[3,102,125,168,224],"the":[4,12,69,87,96,116,119,127,135,141,161,169,179,185,208,225,240,243,250,275,281,285,308,313,320],"engineering":[5],"of":[6,54,63,106,115,137,144,163,181,207,213,215,246,252,277,310,315],"maintainable":[7],"and":[8,19,43,83,133,151,231,235,269,279,302,318],"robust":[9],"software":[10,15,32,55,226],"over":[11,104],"years,":[13],"upgrading":[14,31],"remains":[16],"a":[17,36,52,59,75,156,175,188],"primitive":[18],"error-prone":[20],"activity.":[21],"In":[22,211,264],"this":[23,48],"dissertation,":[24],"we":[25,50,61,72,248,266],"argue":[26],"that":[27],"several":[28],"problems":[29,131],"with":[30],"are":[33,220],"caused":[34],"by":[35,68,154,239,284],"poor":[37],"integration":[38],"between":[39],"upgrade":[40,80,89,117],"deployment,":[41,81,297],"testing,":[42,82,295],"problem":[44,84,180,251],"reporting.":[45],"To":[46],"support":[47],"argument,":[49],"present":[51,73],"characterization":[53],"upgrades":[56,101],"resulting":[57],"from":[58],"survey":[60,70],"conducted":[62],"50":[64],"system":[65],"administrators.":[66],"Motivated":[67],"results,":[71],"Mirage,":[74,145,247],"distributed":[76],"framework":[77],"for":[78],"integrating":[79],"reporting":[85],"into":[86],"overall":[88],"development":[90],"process.":[91],"Mirage's":[92],"deployment":[93,112],"subsystem":[94,143],"allows":[95],"vendor":[97,128],"to":[98,129,159,184,195,204,222,255,273,323],"deploy":[99],"its":[100],"stages":[103],"clusters":[105],"users":[107,316],"sharing":[108],"similar":[109],"environments.":[110],"Staged":[111],"incorporates":[113],"testing":[114,142,203,298],"on":[118,147,299],"users'":[120],"machines.":[121],"It":[122],"is":[123,229],"effective":[124],"allowing":[126],"detect":[130],"early":[132],"limit":[134],"dissemination":[136],"buggy":[138],"upgrades.":[139],"Oasis,":[140],"improves":[146],"current":[148],"state-of-the-art":[149],"concolic":[150],"symbolic":[152,173],"engines":[153],"implementing":[155],"new":[157,164,176,197],"heuristic":[158],"prioritize":[160],"exploration":[162,183],"or":[165,200],"affected":[166],"code":[167],"upgrade.":[170],"Furthermore,":[171],"interactive":[172],"execution,":[174],"approach":[177],"exposing":[178],"path":[182],"tester":[186],"using":[187],"graphical":[189],"user":[190,261,300],"interface,":[191],"can":[192],"be":[193,233],"used":[194],"develop":[196,267],"search":[198],"heuristics":[199],"manually":[201],"guide":[202],"important":[205],"areas":[206],"source":[209],"code.":[210],"spite":[212],"all":[214],"these":[216],"efforts,":[217],"some":[218],"bugs":[219,257],"bound":[221],"remain":[223],"when":[227],"it":[228],"deployed,":[230],"will":[232],"discovered":[234],"reported":[236],"only":[237],"later":[238],"users.":[241],"With":[242],"last":[244],"component":[245],"consider":[249],"instrumenting":[253],"programs":[254],"reproduce":[256],"effectively,":[258],"while":[259,287],"keeping":[260],"data":[262],"private.":[263],"particular,":[265],"static":[268],"dynamic":[270],"analysis":[271],"techniques":[272],"minimize":[274],"amount":[276],"instrumentation,":[278],"therefore":[280],"overhead":[282],"incurred":[283],"users,":[286],"considerably":[288],"speeding":[289],"up":[290],"debugging.":[291],"By":[292],"combining":[293],"up-front":[294],"stage":[296],"machines,":[301],"efficient":[303],"reporting,":[304],"Mirage":[305],"successfully":[306],"reduces":[307],"number":[309,314],"problems,":[311],"minimizes":[312],"affected,":[317],"shortens":[319],"time":[321],"needed":[322],"fix":[324],"remaining":[325],"problems.":[326]},"counts_by_year":[],"updated_date":"2026-07-23T05:56:39.545243","created_date":"2025-10-10T00:00:00"}