Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130308071> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2130308071 abstract "It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may include regression test suites, API protocol usage, and code contracts. To this should be added the largest and most redundant text of all: the previous version of the same program. It is the differences between successive versions of a legacy program already in use which occupy most of a programmer's time. Although differential analysis in the form of equivalence checking has been quite successful for hardware designs, it has not received as much attention in the static program analysis community.This paper briefly summarizes the current state of the art in differential static analysis for software, and suggests a number of promising applications. Although regression test generation has often been thought of as the ultimate goal of differential analysis, we highlight several other applications that can be enabled by differential static analysis. This includes equivalence checking, semantic diffing, differential contract checking, summary validation, invariant discovery and better debugging. We speculate that differential static analysis tools have the potential to be widely deployed on the developer's toolbox despite the fundamental stumbling blocks that limit the adoption of static analysis." @default.
- W2130308071 created "2016-06-24" @default.
- W2130308071 creator A5011779401 @default.
- W2130308071 creator A5041084431 @default.
- W2130308071 creator A5052847689 @default.
- W2130308071 date "2010-11-07" @default.
- W2130308071 modified "2023-10-17" @default.
- W2130308071 title "Differential static analysis" @default.
- W2130308071 cites W1979619055 @default.
- W2130308071 cites W2074888021 @default.
- W2130308071 cites W2076620974 @default.
- W2130308071 cites W2080267935 @default.
- W2130308071 cites W2097299181 @default.
- W2130308071 cites W2108395261 @default.
- W2130308071 cites W2126256608 @default.
- W2130308071 cites W2136880809 @default.
- W2130308071 cites W2293092623 @default.
- W2130308071 cites W4237492309 @default.
- W2130308071 cites W4243053781 @default.
- W2130308071 doi "https://doi.org/10.1145/1882362.1882405" @default.
- W2130308071 hasPublicationYear "2010" @default.
- W2130308071 type Work @default.
- W2130308071 sameAs 2130308071 @default.
- W2130308071 citedByCount "44" @default.
- W2130308071 countsByYear W21303080712012 @default.
- W2130308071 countsByYear W21303080712013 @default.
- W2130308071 countsByYear W21303080712014 @default.
- W2130308071 countsByYear W21303080712015 @default.
- W2130308071 countsByYear W21303080712017 @default.
- W2130308071 countsByYear W21303080712018 @default.
- W2130308071 countsByYear W21303080712019 @default.
- W2130308071 countsByYear W21303080712020 @default.
- W2130308071 countsByYear W21303080712021 @default.
- W2130308071 countsByYear W21303080712022 @default.
- W2130308071 countsByYear W21303080712023 @default.
- W2130308071 crossrefType "proceedings-article" @default.
- W2130308071 hasAuthorship W2130308071A5011779401 @default.
- W2130308071 hasAuthorship W2130308071A5041084431 @default.
- W2130308071 hasAuthorship W2130308071A5052847689 @default.
- W2130308071 hasConcept C41008148 @default.
- W2130308071 hasConceptScore W2130308071C41008148 @default.
- W2130308071 hasLocation W21303080711 @default.
- W2130308071 hasOpenAccess W2130308071 @default.
- W2130308071 hasPrimaryLocation W21303080711 @default.
- W2130308071 hasRelatedWork W1596801655 @default.
- W2130308071 hasRelatedWork W2130043461 @default.
- W2130308071 hasRelatedWork W2350741829 @default.
- W2130308071 hasRelatedWork W2358668433 @default.
- W2130308071 hasRelatedWork W2376932109 @default.
- W2130308071 hasRelatedWork W2382290278 @default.
- W2130308071 hasRelatedWork W2390279801 @default.
- W2130308071 hasRelatedWork W2748952813 @default.
- W2130308071 hasRelatedWork W2899084033 @default.
- W2130308071 hasRelatedWork W2530322880 @default.
- W2130308071 isParatext "false" @default.
- W2130308071 isRetracted "false" @default.
- W2130308071 magId "2130308071" @default.
- W2130308071 workType "article" @default.