{"id":"https://openalex.org/W2472960084","doi":"https://doi.org/10.3929/ethz-a-010538908","title":"Partial Verification Results","display_name":"Partial Verification Results","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2472960084","doi":"https://doi.org/10.3929/ethz-a-010538908","mag":"2472960084"},"language":"en","primary_location":{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/105607","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/105607","pdf_url":"http://hdl.handle.net/20.500.11850/105607","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":null,"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/105607","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070065704","display_name":"Valentin Tobias W\u00c3 \u2044 stholz","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"W\u00fcstholz, Valentin T.","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5070065704"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":5,"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.9179999828338623,"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.9179999828338623,"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.046799998730421066,"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.008899999782443047,"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/computer-science","display_name":"Computer science","score":0.47718536853790283}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47718536853790283}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:www.research-collection.ethz.ch:20.500.11850/105607","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/105607","pdf_url":"http://hdl.handle.net/20.500.11850/105607","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":null,"raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"doi:10.3929/ethz-a-010538908","is_oa":true,"landing_page_url":"https://doi.org/10.3929/ethz-a-010538908","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:2472960084","is_oa":false,"landing_page_url":"https://www.research-collection.ethz.ch/handle/20.500.11850/105607","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/105607","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.11850/105607","pdf_url":"http://hdl.handle.net/20.500.11850/105607","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":null,"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/W2472960084.pdf","grobid_xml":"https://content.openalex.org/works/W2472960084.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2098948615","https://openalex.org/W2592899439","https://openalex.org/W2754450383","https://openalex.org/W2635437981","https://openalex.org/W1517789737","https://openalex.org/W2905422636","https://openalex.org/W3143080346","https://openalex.org/W757277838","https://openalex.org/W80495798","https://openalex.org/W1630348075","https://openalex.org/W2484532870","https://openalex.org/W2013380671","https://openalex.org/W1868357464","https://openalex.org/W2473576858","https://openalex.org/W2891668036","https://openalex.org/W2045109907","https://openalex.org/W2343496192","https://openalex.org/W1687252436","https://openalex.org/W2482162421","https://openalex.org/W157215462"],"abstract_inverted_index":{"In":[0],"recent":[1],"years,":[2],"program":[3,40,50,75,85,93],"analysis":[4,89],"tools":[5,22],"have":[6],"been":[7],"increasingly":[8],"applied":[9],"to":[10,13,42,64,78],"real-world":[11],"software":[12],"prevent":[14],"defects":[15,111],"as":[16,18],"early":[17],"possible.Examples":[19],"of":[20,74,82],"such":[21],"include":[23],"both":[24],"static":[25,100],"analyzers":[26,101],"and":[27,77],"automatic":[28],"test":[29],"case":[30,87],"generation":[31],"tools.While":[32],"the":[33,38,45,58,80,83,88,91,113],"la":[34],"er":[35],"traditionally":[36,47],"underapproximate":[37],"possible":[39,56,63,92],"executions":[41,51,76,94],"find":[43],"errors,":[44],"former":[46],"consider":[48],"additional":[49],"that":[52,106],"are":[53],"not":[54,108],"actually":[55],"in":[57,86,112],"analyzed":[59,84,114],"program.This":[60],"makes":[61],"it":[62],"efficiently":[65],"analyze":[66],"programs":[67],"with":[68],"a":[69,98],"large":[70],"or":[71],"infinite":[72],"number":[73],"prove":[79],"correctness":[81],"over-approximates":[90],"(i.e.,":[95],"is":[96],"sound).As":[97],"consequence,":[99],"may":[102],"report":[103],"spurious":[104],"errors":[105],"do":[107],"reveal":[109],"real":[110],"program.":[115]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2016-07-22T00:00:00"}