FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2052844069> ?p ?o ?g. }

• W2052844069 endingPage "29" @default.
• W2052844069 startingPage "1" @default.
• W2052844069 abstract "Bugs in programs are often introduced when programs evolve from a stable version to a new version. In this article, we propose a new approach called DARWIN for automatically finding potential root causes of such bugs. Given two programs—a reference program and a modified program—and an input that fails on the modified program, our approach uses symbolic execution to automatically synthesize a new input that (a) is very similar to the failing input and (b) does not fail. We find the potential cause(s) of failure by comparing control-flow behavior of the passing and failing inputs and identifying code fragments where the control flows diverge. A notable feature of our approach is that it handles hard-to-explain bugs, like code missing errors, by pointing to code in the reference program. We have implemented this approach and conducted experiments using several real-world applications, such as the Apache Web server, libPNG (a library for manipulating PNG images), and TCPflow (a program for displaying data sent through TCP connections). In each of these applications, DARWIN was able to localize bugs with high accuracy. Even though these applications contain several thousands of lines of code, DARWIN could usually narrow down the potential root cause(s) to less than ten lines. In addition, we find that the inputs synthesized by DARWIN provide additional value by revealing other undiscovered errors." @default.
• W2052844069 created "2016-06-24" @default.
• W2052844069 creator A5011779401 @default.
• W2052844069 creator A5060115298 @default.
• W2052844069 creator A5069612595 @default.
• W2052844069 creator A5084611756 @default.
• W2052844069 date "2012-06-01" @default.
• W2052844069 modified "2023-09-24" @default.
• W2052844069 title "DARWIN" @default.
• W2052844069 cites W1507573541 @default.
• W2052844069 cites W1579437898 @default.
• W2052844069 cites W1973828066 @default.
• W2052844069 cites W1984248430 @default.
• W2052844069 cites W1986453394 @default.
• W2052844069 cites W2009489720 @default.
• W2052844069 cites W2020538887 @default.
• W2052844069 cites W2038899190 @default.
• W2052844069 cites W2074888021 @default.
• W2052844069 cites W2080534028 @default.
• W2052844069 cites W2091968063 @default.
• W2052844069 cites W2110066339 @default.
• W2052844069 cites W2119251836 @default.
• W2052844069 cites W2121081915 @default.
• W2052844069 cites W2136305343 @default.
• W2052844069 cites W2136880809 @default.
• W2052844069 cites W2150684130 @default.
• W2052844069 cites W2152543417 @default.
• W2052844069 cites W2158870716 @default.
• W2052844069 cites W2168625647 @default.
• W2052844069 cites W2170198454 @default.
• W2052844069 cites W2170224888 @default.
• W2052844069 cites W2295857493 @default.
• W2052844069 cites W4233319527 @default.
• W2052844069 cites W4237492309 @default.
• W2052844069 cites W4243053781 @default.
• W2052844069 cites W4250942327 @default.
• W2052844069 doi "https://doi.org/10.1145/2211616.2211622" @default.
• W2052844069 hasPublicationYear "2012" @default.
• W2052844069 type Work @default.
• W2052844069 sameAs 2052844069 @default.
• W2052844069 citedByCount "39" @default.
• W2052844069 countsByYear W20528440692012 @default.
• W2052844069 countsByYear W20528440692013 @default.
• W2052844069 countsByYear W20528440692014 @default.
• W2052844069 countsByYear W20528440692015 @default.
• W2052844069 countsByYear W20528440692016 @default.
• W2052844069 countsByYear W20528440692017 @default.
• W2052844069 countsByYear W20528440692018 @default.
• W2052844069 countsByYear W20528440692019 @default.
• W2052844069 countsByYear W20528440692020 @default.
• W2052844069 countsByYear W20528440692021 @default.
• W2052844069 countsByYear W20528440692023 @default.
• W2052844069 crossrefType "journal-article" @default.
• W2052844069 hasAuthorship W2052844069A5011779401 @default.
• W2052844069 hasAuthorship W2052844069A5060115298 @default.
• W2052844069 hasAuthorship W2052844069A5069612595 @default.
• W2052844069 hasAuthorship W2052844069A5084611756 @default.
• W2052844069 hasConcept C115903868 @default.
• W2052844069 hasConcept C127413603 @default.
• W2052844069 hasConcept C160191386 @default.
• W2052844069 hasConcept C177264268 @default.
• W2052844069 hasConcept C199360897 @default.
• W2052844069 hasConcept C200601418 @default.
• W2052844069 hasConcept C206118921 @default.
• W2052844069 hasConcept C2776760102 @default.
• W2052844069 hasConcept C2777904410 @default.
• W2052844069 hasConcept C2779639559 @default.
• W2052844069 hasConcept C41008148 @default.
• W2052844069 hasConcept C84945661 @default.
• W2052844069 hasConceptScore W2052844069C115903868 @default.
• W2052844069 hasConceptScore W2052844069C127413603 @default.
• W2052844069 hasConceptScore W2052844069C160191386 @default.
• W2052844069 hasConceptScore W2052844069C177264268 @default.
• W2052844069 hasConceptScore W2052844069C199360897 @default.
• W2052844069 hasConceptScore W2052844069C200601418 @default.
• W2052844069 hasConceptScore W2052844069C206118921 @default.
• W2052844069 hasConceptScore W2052844069C2776760102 @default.
• W2052844069 hasConceptScore W2052844069C2777904410 @default.
• W2052844069 hasConceptScore W2052844069C2779639559 @default.
• W2052844069 hasConceptScore W2052844069C41008148 @default.
• W2052844069 hasConceptScore W2052844069C84945661 @default.
• W2052844069 hasFunder F4320320751 @default.
• W2052844069 hasIssue "3" @default.
• W2052844069 hasLocation W20528440691 @default.
• W2052844069 hasOpenAccess W2052844069 @default.
• W2052844069 hasPrimaryLocation W20528440691 @default.
• W2052844069 hasRelatedWork W2052844069 @default.
• W2052844069 hasRelatedWork W2109507516 @default.
• W2052844069 hasRelatedWork W2119002163 @default.
• W2052844069 hasRelatedWork W2136880809 @default.
• W2052844069 hasRelatedWork W2137908418 @default.
• W2052844069 hasRelatedWork W2320539652 @default.
• W2052844069 hasRelatedWork W2384847609 @default.
• W2052844069 hasRelatedWork W2899100898 @default.
• W2052844069 hasRelatedWork W4232884709 @default.
• W2052844069 hasRelatedWork W4251805752 @default.
• W2052844069 hasVolume "21" @default.
• W2052844069 isParatext "false" @default.

• next