{"id":"https://openalex.org/W2129683568","doi":"https://doi.org/10.1145/1449764.1449776","title":"QVM","display_name":"QVM","publication_year":2008,"publication_date":"2008-10-19","ids":{"openalex":"https://openalex.org/W2129683568","doi":"https://doi.org/10.1145/1449764.1449776","mag":"2129683568"},"language":"en","primary_location":{"id":"doi:10.1145/1449764.1449776","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1449764.1449776","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 ACM SIGPLAN conference on Object-oriented programming systems languages and applications","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/A5026190550","display_name":"Matthew Arnold","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Matthew Arnold","raw_affiliation_strings":["IBM TJ Watson Research Center, Hawthorne, NY, USA"],"affiliations":[{"raw_affiliation_string":"IBM TJ Watson Research Center, Hawthorne, NY, USA","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069901599","display_name":"Martin Vechev","orcid":"https://orcid.org/0000-0002-0054-9568"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin Vechev","raw_affiliation_strings":["IBM TJ Watson Research Center, Hawthorne, NY, USA"],"affiliations":[{"raw_affiliation_string":"IBM TJ Watson Research Center, Hawthorne, NY, USA","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061044883","display_name":"Eran Yahav","orcid":"https://orcid.org/0000-0003-4305-6314"},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eran Yahav","raw_affiliation_strings":["IBM TJ Watson Research Center, Hawthorne, NY, USA"],"affiliations":[{"raw_affiliation_string":"IBM TJ Watson Research Center, Hawthorne, NY, USA","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5026190550"],"corresponding_institution_ids":["https://openalex.org/I1341412227"],"apc_list":null,"apc_paid":null,"fwci":47.3725,"has_fulltext":false,"cited_by_count":107,"citation_normalized_percentile":{"value":0.99802292,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"143","last_page":"162"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9980999827384949,"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.9980999827384949,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980999827384949,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/software-deployment","display_name":"Software deployment","score":0.793874979019165},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7922559976577759},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7208173274993896},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.6487210988998413},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4813747704029083},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.47067221999168396},{"id":"https://openalex.org/keywords/security-bug","display_name":"Security bug","score":0.44943511486053467},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3057831823825836},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.09449204802513123}],"concepts":[{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.793874979019165},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7922559976577759},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7208173274993896},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.6487210988998413},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4813747704029083},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.47067221999168396},{"id":"https://openalex.org/C131275738","wikidata":"https://www.wikidata.org/wiki/Q7445023","display_name":"Security bug","level":5,"score":0.44943511486053467},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3057831823825836},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.09449204802513123},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.0},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1449764.1449776","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1449764.1449776","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 ACM SIGPLAN conference on Object-oriented programming systems languages and applications","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":61,"referenced_works":["https://openalex.org/W57683965","https://openalex.org/W170067634","https://openalex.org/W1484352283","https://openalex.org/W1557880268","https://openalex.org/W1584882609","https://openalex.org/W1604406488","https://openalex.org/W1950905123","https://openalex.org/W1971327145","https://openalex.org/W1995350708","https://openalex.org/W1998070736","https://openalex.org/W2000100269","https://openalex.org/W2004337747","https://openalex.org/W2006290442","https://openalex.org/W2013368693","https://openalex.org/W2021875003","https://openalex.org/W2044590882","https://openalex.org/W2049984112","https://openalex.org/W2055817654","https://openalex.org/W2077324087","https://openalex.org/W2081388374","https://openalex.org/W2095063920","https://openalex.org/W2097077279","https://openalex.org/W2098495346","https://openalex.org/W2101857770","https://openalex.org/W2102674270","https://openalex.org/W2105204977","https://openalex.org/W2108824981","https://openalex.org/W2111141292","https://openalex.org/W2118123503","https://openalex.org/W2118547657","https://openalex.org/W2124770494","https://openalex.org/W2126775986","https://openalex.org/W2126876608","https://openalex.org/W2134311998","https://openalex.org/W2135275954","https://openalex.org/W2137720526","https://openalex.org/W2138369269","https://openalex.org/W2138855072","https://openalex.org/W2142837069","https://openalex.org/W2144551802","https://openalex.org/W2146934772","https://openalex.org/W2147104457","https://openalex.org/W2149286246","https://openalex.org/W2150593762","https://openalex.org/W2156268601","https://openalex.org/W2156428492","https://openalex.org/W2156515608","https://openalex.org/W2156858199","https://openalex.org/W2160071691","https://openalex.org/W2166091242","https://openalex.org/W2169589594","https://openalex.org/W2171660659","https://openalex.org/W2983470817","https://openalex.org/W3022988980","https://openalex.org/W3031465972","https://openalex.org/W4200370424","https://openalex.org/W4235379547","https://openalex.org/W4237741282","https://openalex.org/W4244800399","https://openalex.org/W4245569013","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2740264376","https://openalex.org/W4206999239","https://openalex.org/W4283750846","https://openalex.org/W2900719967","https://openalex.org/W4388482952","https://openalex.org/W2161928627","https://openalex.org/W2786113878","https://openalex.org/W2787155073","https://openalex.org/W2007984522","https://openalex.org/W2727867943"],"abstract_inverted_index":{"Coping":[0],"with":[1],"software":[2],"defects":[3],"that":[4],"occur":[5,16],"in":[6,54],"the":[7,19,36,52,58,61,65,69],"post-deployment":[8],"stage":[9],"is":[10,38,42],"a":[11,22],"challenging":[12],"problem:":[13],"bugs":[14],"may":[15],"only":[17,26],"when":[18],"system":[20],"uses":[21],"specific":[23],"configuration":[24],"and":[25,40],"under":[27],"certain":[28],"usage":[29],"scenarios.":[30],"Nevertheless,":[31],"halting":[32],"production":[33],"systems":[34],"until":[35],"bug":[37,53,62],"tracked":[39],"fixed":[41],"often":[43],"impossible.":[44],"Thus,":[45],"developers":[46],"have":[47],"to":[48,50],"try":[49],"reproduce":[51],"laboratory":[55],"conditions.":[56],"Often":[57],"reproduction":[59],"of":[60,64,68],"consists":[63],"lion":[66],"share":[67],"debugging":[70],"effort.":[71]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":12}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}
