ICSE |
Dynamic Slicing for Android (2019)
|
ICSE |
Locating Faults Through Automated Predicate Switching (2006)
|
ICSE |
Effective Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams (2004)
|
ICSE |
Precise Dynamic Slicing Algorithms (2003),
Recipient of ICSE 2003 Distinguished Paper Award
|
ICSE |
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level (1996)
|
ASE |
Locating Faulty Code Using Failure-Inducing Chops (2005)
|
FSE |
Dynamic Slicing Long Running Programs through Execution Fast Forwarding (2006)
|
ESEC-FSE |
Matching Execution Histories of Program Versions (2005)
|
ESEC-FSE |
Comparison Checking: An Approach to Avoid Debugging of Optimized Code (1999)
|
ESEC-FSE |
Refining Data Flow Information using Infeasible Paths (1997)
|
FSE |
Hybrid Slicing: An Approach for Refining
Static Slices using Dynamic Information (1995)
|
ISSTA |
Fault Localization Using Value Replacement (2008)
|
ISSTA |
Dynamic Recognition of Synchronization Operations for Improved Data Race Detection (2008)
|
ISSTA |
Enabling Tracing of Long-Running Multithreaded Programs via Dynamic Execution Reduction (2007)
|
ISTAV |
Loop Monotonic Computations: An Approach for the Efficient
Run-time Detection of Races (1991)
|
ICSM |
Detecting Virus Mutations Via Dynamic Matching (2009)
|
ICSM |
Effective and Efficient Localization of Multiple Faults Using Value Replacement (2009)
|
ICSM |
Identifying the Root Causes of Memory Bugs Using Corrupted Memory Location Suppression (2008)
|
ICSM |
Dynamic Slicing of Multithreaded Programs for Race Detection (2008)
|
ICSM |
ONTRAC: A System for Efficient ONline TRACing for Debugging (2007)
|
ICSM |
Matching Control Flow of Program Versions (2007)
|
ICSM |
Priority Based Data Flow Testing (1995)
|
ICSM |
A Framework for Partial Data Flow Analysis (1994)
|
ICSM |
An Approach to Regression Testing using Slicing (1992)
|
ICSM |
A Methodology for Controlling the Size of a Test Suite (1990)
|