{"id":"https://openalex.org/W910764738","doi":"https://doi.org/10.3929/ethz-a-007595467","title":"Program analyses for automatic and precise error detection","display_name":"Program analyses for automatic and precise error detection","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W910764738","doi":"https://doi.org/10.3929/ethz-a-007595467","mag":"910764738"},"language":"en","primary_location":{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/64958","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/64958","pdf_url":"http://hdl.handle.net/20.500.11850/64958","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/20.500.11850/64958","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013438083","display_name":"Michael Pradel","orcid":"https://orcid.org/0000-0003-1623-498X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Pradel, Michael","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5013438083"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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.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"}},"topics":[{"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.5514234900474548},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3681769371032715}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5514234900474548},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3681769371032715}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/64958","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/64958","pdf_url":"http://hdl.handle.net/20.500.11850/64958","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"doi:10.3929/ethz-a-007595467","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-a-007595467","pdf_url":null,"source":{"id":"https://openalex.org/S7407051236","display_name":"ETH Z\u00fcrich Research Collection","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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"},{"id":"mag:910764738","is_oa":false,"landing_page_url":"https://www.research-collection.ethz.ch/mapping/view/eth:6426","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:www.research-collection.ethz.ch:20.500.11850/64958","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/64958","pdf_url":"http://hdl.handle.net/20.500.11850/64958","source":{"id":"https://openalex.org/S4306402302","display_name":"Repository for Publications and Research Data (ETH Zurich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I35440088","host_organization_name":"ETH Zurich","host_organization_lineage":["https://openalex.org/I35440088"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W910764738.pdf","grobid_xml":"https://content.openalex.org/works/W910764738.grobid-xml"},"referenced_works_count":169,"referenced_works":["https://openalex.org/W90447038","https://openalex.org/W109452506","https://openalex.org/W111098712","https://openalex.org/W125251596","https://openalex.org/W194677851","https://openalex.org/W1491859150","https://openalex.org/W1497542708","https://openalex.org/W1505468428","https://openalex.org/W1518151261","https://openalex.org/W1518498967","https://openalex.org/W1521711401","https://openalex.org/W1533857697","https://openalex.org/W1535103785","https://openalex.org/W1598215108","https://openalex.org/W1608271177","https://openalex.org/W1646278814","https://openalex.org/W1651395156","https://openalex.org/W1710734607","https://openalex.org/W1743635611","https://openalex.org/W1767990287","https://openalex.org/W1845288303","https://openalex.org/W1870299213","https://openalex.org/W1887412317","https://openalex.org/W1965462925","https://openalex.org/W1965821643","https://openalex.org/W1972544179","https://openalex.org/W1977223454","https://openalex.org/W1978905120","https://openalex.org/W1986453394","https://openalex.org/W1987035533","https://openalex.org/W1989657183","https://openalex.org/W1995008247","https://openalex.org/W1997522747","https://openalex.org/W2002179840","https://openalex.org/W2004865374","https://openalex.org/W2008107570","https://openalex.org/W2008626182","https://openalex.org/W2011660287","https://openalex.org/W2012431717","https://openalex.org/W2014097364","https://openalex.org/W2016314068","https://openalex.org/W2019379016","https://openalex.org/W2025677988","https://openalex.org/W2030972311","https://openalex.org/W2031348459","https://openalex.org/W2035650034","https://openalex.org/W2036853599","https://openalex.org/W2043811931","https://openalex.org/W2049381173","https://openalex.org/W2050570039","https://openalex.org/W2054520963","https://openalex.org/W2059215200","https://openalex.org/W2059295282","https://openalex.org/W2067406339","https://openalex.org/W2069159459","https://openalex.org/W2074001172","https://openalex.org/W2074937108","https://openalex.org/W2077258409","https://openalex.org/W2079599301","https://openalex.org/W2080696000","https://openalex.org/W2082766667","https://openalex.org/W2093938715","https://openalex.org/W2095938258","https://openalex.org/W2096155624","https://openalex.org/W2096425305","https://openalex.org/W2096449544","https://openalex.org/W2097305086","https://openalex.org/W2098650676","https://openalex.org/W2099963114","https://openalex.org/W2101161997","https://openalex.org/W2101939036","https://openalex.org/W2102816555","https://openalex.org/W2105452745","https://openalex.org/W2105864475","https://openalex.org/W2107709519","https://openalex.org/W2109033563","https://openalex.org/W2110852599","https://openalex.org/W2111141292","https://openalex.org/W2111900492","https://openalex.org/W2112579501","https://openalex.org/W2113697305","https://openalex.org/W2114753872","https://openalex.org/W2114801793","https://openalex.org/W2115015193","https://openalex.org/W2116409384","https://openalex.org/W2116680978","https://openalex.org/W2119467398","https://openalex.org/W2119494620","https://openalex.org/W2120027538","https://openalex.org/W2121059325","https://openalex.org/W2121376435","https://openalex.org/W2121455545","https://openalex.org/W2121818394","https://openalex.org/W2122947685","https://openalex.org/W2123227336","https://openalex.org/W2123468567","https://openalex.org/W2124081952","https://openalex.org/W2124516932","https://openalex.org/W2124666592","https://openalex.org/W2126834265","https://openalex.org/W2127321265","https://openalex.org/W2127989655","https://openalex.org/W2128986962","https://openalex.org/W2131102467","https://openalex.org/W2131954495","https://openalex.org/W2132523160","https://openalex.org/W2132800423","https://openalex.org/W2132874586","https://openalex.org/W2133900335","https://openalex.org/W2134164054","https://openalex.org/W2134429122","https://openalex.org/W2134433063","https://openalex.org/W2135395375","https://openalex.org/W2136646111","https://openalex.org/W2136808032","https://openalex.org/W2138000960","https://openalex.org/W2138546883","https://openalex.org/W2140697469","https://openalex.org/W2142467886","https://openalex.org/W2142973056","https://openalex.org/W2145020764","https://openalex.org/W2146878883","https://openalex.org/W2148702066","https://openalex.org/W2149074552","https://openalex.org/W2149298504","https://openalex.org/W2149321161","https://openalex.org/W2149433427","https://openalex.org/W2150593762","https://openalex.org/W2150602145","https://openalex.org/W2151674625","https://openalex.org/W2153229512","https://openalex.org/W2153723363","https://openalex.org/W2153964911","https://openalex.org/W2154774499","https://openalex.org/W2155233265","https://openalex.org/W2155988490","https://openalex.org/W2156085979","https://openalex.org/W2156841542","https://openalex.org/W2157083801","https://openalex.org/W2157939714","https://openalex.org/W2157984409","https://openalex.org/W2158124716","https://openalex.org/W2158391928","https://openalex.org/W2159760476","https://openalex.org/W2159812975","https://openalex.org/W2159856414","https://openalex.org/W2159933174","https://openalex.org/W2160140538","https://openalex.org/W2161600851","https://openalex.org/W2162969183","https://openalex.org/W2166007208","https://openalex.org/W2166091242","https://openalex.org/W2166841005","https://openalex.org/W2167187192","https://openalex.org/W2167500728","https://openalex.org/W2167744164","https://openalex.org/W2170352783","https://openalex.org/W2170998491","https://openalex.org/W2171471938","https://openalex.org/W2171480813","https://openalex.org/W2171683519","https://openalex.org/W2171962864","https://openalex.org/W2172260321","https://openalex.org/W2294152467","https://openalex.org/W2295399529","https://openalex.org/W2417114089","https://openalex.org/W2913074976","https://openalex.org/W2962708851","https://openalex.org/W3106729728"],"related_works":["https://openalex.org/W2474016196","https://openalex.org/W2247219265","https://openalex.org/W2146456733","https://openalex.org/W2935775695","https://openalex.org/W2137319301","https://openalex.org/W2295519855","https://openalex.org/W2102813211","https://openalex.org/W2598336697","https://openalex.org/W2130344253","https://openalex.org/W1685636323","https://openalex.org/W3005206711","https://openalex.org/W2102245535","https://openalex.org/W2011310624","https://openalex.org/W856201381","https://openalex.org/W1988134631","https://openalex.org/W2277368977","https://openalex.org/W2132696137","https://openalex.org/W2133329347","https://openalex.org/W977033866","https://openalex.org/W2132983165"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}