{"id":"https://openalex.org/W2163216060","doi":"https://doi.org/10.1145/1810295.1810460","title":"STORM","display_name":"STORM","publication_year":2010,"publication_date":"2010-05-01","ids":{"openalex":"https://openalex.org/W2163216060","doi":"https://doi.org/10.1145/1810295.1810460","mag":"2163216060"},"language":"en","primary_location":{"id":"doi:10.1145/1810295.1810460","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1810295.1810460","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2","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/A5021217615","display_name":"Zvonimir Rakamari\u0107","orcid":"https://orcid.org/0000-0001-7946-0162"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Zvonimir Rakamari\u0107","raw_affiliation_strings":["University of British Columbia, Canada"],"affiliations":[{"raw_affiliation_string":"University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021217615"],"corresponding_institution_ids":["https://openalex.org/I141945490"],"apc_list":null,"apc_paid":null,"fwci":2.1366,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.88484606,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"519","last_page":"520"},"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.9998000264167786,"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.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9977999925613403,"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.8597019910812378},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8312832713127136},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.7409572601318359},{"id":"https://openalex.org/keywords/interleaving","display_name":"Interleaving","score":0.5956149697303772},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5381335616111755},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.5048232674598694},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.5034145712852478},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.4790707528591156},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.461495965719223},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.44894102215766907},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4452265799045563},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4168494939804077}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8597019910812378},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8312832713127136},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.7409572601318359},{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.5956149697303772},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5381335616111755},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.5048232674598694},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.5034145712852478},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.4790707528591156},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.461495965719223},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.44894102215766907},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4452265799045563},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4168494939804077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1810295.1810460","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1810295.1810460","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2","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":9,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1554834491","https://openalex.org/W1606177908","https://openalex.org/W1606540187","https://openalex.org/W2087046173","https://openalex.org/W2128453996","https://openalex.org/W2135948849","https://openalex.org/W2162284942","https://openalex.org/W4242057943"],"related_works":["https://openalex.org/W1655266410","https://openalex.org/W2389051085","https://openalex.org/W2966782877","https://openalex.org/W1479815263","https://openalex.org/W2083873983","https://openalex.org/W1972891211","https://openalex.org/W2146425281","https://openalex.org/W1782746637","https://openalex.org/W2296549752","https://openalex.org/W2159857642"],"abstract_inverted_index":{"Concurrency":[0],"is":[1,53],"inherent":[2],"in":[3,16,93,119],"today's":[4],"software.":[5],"Unexpected":[6],"interactions":[7],"between":[8],"concurrently":[9],"executing":[10,32],"threads":[11],"often":[12],"cause":[13],"subtle":[14],"bugs":[15,20],"concurrent":[17,63,90],"programs.":[18],"Such":[19],"are":[21],"hard":[22],"to":[23,50,85],"discover":[24],"using":[25],"traditional":[26],"testing":[27],"techniques":[28],"since":[29,57],"they":[30],"require":[31],"a":[33,36,43,62,79,94,103,114,120],"program":[34,55,64],"on":[35,65,102],"particular":[37,44],"unit":[38,87],"test":[39],"(i.e.":[40],"input)":[41],"through":[42,71],"thread":[45,74],"interleaving.":[46],"A":[47],"promising":[48],"solution":[49],"this":[51],"problem":[52],"static":[54,86],"analysis":[56],"it":[58],"can":[59],"simultaneously":[60],"check":[61],"all":[66,72],"inputs":[67],"as":[68,70],"well":[69],"possible":[73],"interleavings.":[75],"This":[76],"paper":[77],"describes":[78],"scalable,":[80],"automatic,":[81],"and":[82,110],"precise":[83],"approach":[84],"checking":[88],"of":[89,105],"programs":[91],"implemented":[92],"tool":[95,112],"called":[96],"Storm.":[97],"Storm":[98],"has":[99],"been":[100],"applied":[101],"number":[104],"real-world":[106],"Windows":[107],"device":[108],"drivers,":[109],"the":[111],"found":[113],"previously":[115],"undiscovered":[116],"concurrency":[117],"bug":[118],"driver":[121],"from":[122],"Microsoft's":[123],"Driver":[124],"Development":[125],"Kit.":[126]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}