FRINK Linked Data Fragments server

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

• W255722181 abstract "Author(s): Wang, Yan | Advisor(s): Gupta, Rajiv; Neamtiu, Iulian | Abstract: Debugging is a tedious and time-consuming process for software developers. Therefore, providing effective and efficient debugging tools is essential for improving programmer productivity. Existing tools for debugging suffer from various drawbacks -- general-purpose debuggers provide little guidance for the programmers in locating the bug source while specialized debuggers require knowledge of the type of bug encountered. This dissertation makes several advances in debugging leading to effective, efficient, and extensible framework for interactive debugging of singlethreaded programs and deterministic debugging of multithreaded programs.This dissertation presents the Qzdb debugger for singlethreaded programs that raises the abstraction level of debugging by introducing high-level and powerful state alteration and state inspection capabilities. Case studies on 5 real reported bugs in 5 popular real programs demonstrate its effectiveness. To support integration of specialized debugging algorithms into Qzdb, anew approach for constructing debuggers is developed that employs declarative specification of bug conditions and their root causes, and automatic generation of debugger code. Experiments show that about 3,300 lines of C code are generated automatically from only 8 lines of specification for 6 memory bugs. Thanks to the effective generated bug locators, for the 8 real-worlds bugs we have applied our approach to, users have to examine just 1 to 16 instructions. To reduce the runtime overhead of dynamic analysis used during debugging, relevant input analysis is developed and employed to carry out input simplification and execution simplification which reduce the length of analyzed execution by reducing the input size and limiting the analysis to subset of the execution. Experiments show that relevant input analysis based input simplification algorithm is both efficient and effective -- it only requires 11% to 21% test runs of that needed by standard delta debugging algorithm and generates even smaller inputs.Finally, to demonstrate that the above approach can also be used for debugging multithreaded programs, this dissertation presents DrDebug, a deterministic and cyclic debugging framework. DrDebug allows efficient debugging by tailoring the scope of replay to a buggy execution region and an execution slice of a buggy region. Case studies of real reported concurrency bugs show that the buggy execution region size is less than 1 million instructions and the lengths of buggy execution region and execution slice are less than 15% and 7% of the total execution respectively." @default.
• W255722181 created "2016-06-24" @default.
• W255722181 creator A5003642180 @default.
• W255722181 date "2014-01-01" @default.
• W255722181 modified "2023-09-23" @default.
• W255722181 title "Dynamic Analysis Techniques for Effective and Efficient Debugging" @default.
• W255722181 hasPublicationYear "2014" @default.
• W255722181 type Work @default.
• W255722181 sameAs 255722181 @default.
• W255722181 citedByCount "0" @default.
• W255722181 crossrefType "journal-article" @default.
• W255722181 hasAuthorship W255722181A5003642180 @default.
• W255722181 hasConcept C1009929 @default.
• W255722181 hasConcept C115903868 @default.
• W255722181 hasConcept C124774103 @default.
• W255722181 hasConcept C136388014 @default.
• W255722181 hasConcept C168065819 @default.
• W255722181 hasConcept C199360897 @default.
• W255722181 hasConcept C2777904410 @default.
• W255722181 hasConcept C2778485113 @default.
• W255722181 hasConcept C2778514511 @default.
• W255722181 hasConcept C2779960059 @default.
• W255722181 hasConcept C41008148 @default.
• W255722181 hasConcept C98045186 @default.
• W255722181 hasConceptScore W255722181C1009929 @default.
• W255722181 hasConceptScore W255722181C115903868 @default.
• W255722181 hasConceptScore W255722181C124774103 @default.
• W255722181 hasConceptScore W255722181C136388014 @default.
• W255722181 hasConceptScore W255722181C168065819 @default.
• W255722181 hasConceptScore W255722181C199360897 @default.
• W255722181 hasConceptScore W255722181C2777904410 @default.
• W255722181 hasConceptScore W255722181C2778485113 @default.
• W255722181 hasConceptScore W255722181C2778514511 @default.
• W255722181 hasConceptScore W255722181C2779960059 @default.
• W255722181 hasConceptScore W255722181C41008148 @default.
• W255722181 hasConceptScore W255722181C98045186 @default.
• W255722181 hasLocation W2557221811 @default.
• W255722181 hasOpenAccess W255722181 @default.
• W255722181 hasPrimaryLocation W2557221811 @default.
• W255722181 hasRelatedWork W125219212 @default.
• W255722181 hasRelatedWork W139152171 @default.
• W255722181 hasRelatedWork W1568733482 @default.
• W255722181 hasRelatedWork W1643342729 @default.
• W255722181 hasRelatedWork W1687655899 @default.
• W255722181 hasRelatedWork W1736338947 @default.
• W255722181 hasRelatedWork W1986072628 @default.
• W255722181 hasRelatedWork W1992788155 @default.
• W255722181 hasRelatedWork W2056640390 @default.
• W255722181 hasRelatedWork W2060545895 @default.
• W255722181 hasRelatedWork W2097576663 @default.
• W255722181 hasRelatedWork W2119199043 @default.
• W255722181 hasRelatedWork W2137488562 @default.
• W255722181 hasRelatedWork W2169217611 @default.
• W255722181 hasRelatedWork W2170913501 @default.
• W255722181 hasRelatedWork W2318181419 @default.
• W255722181 hasRelatedWork W2617064411 @default.
• W255722181 hasRelatedWork W2749627359 @default.
• W255722181 hasRelatedWork W2899875271 @default.
• W255722181 hasRelatedWork W2352456790 @default.
• W255722181 isParatext "false" @default.
• W255722181 isRetracted "false" @default.
• W255722181 magId "255722181" @default.
• W255722181 workType "article" @default.