Information Processing Letters
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Towards automatic debugging of computer programs
Towards automatic debugging of computer programs
The superblock: an effective technique for VLIW and superscalar compilation
The Journal of Supercomputing - Special issue on instruction-level parallelism
Techniques for compressing program address traces
MICRO 27 Proceedings of the 27th annual international symposium on Microarchitecture
Slicing object-oriented software
Proceedings of the 18th international conference on Software engineering
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
An efficient relevant slicing method for debugging
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the ACM 2000 conference on Java Grande
Practicing JUDO: Java under dynamic optimizations
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Timestamped whole program path representation and its applications
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Incremental Regression Testing
ICSM '93 Proceedings of the Conference on Software Maintenance
Dependence Analysis of Java Bytecode
COMPSAC '00 24th International Computer Software and Applications Conference
Precise dynamic slicing algorithms
Proceedings of the 25th International Conference on Software Engineering
Compactly representing parallel program executions
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Linear-Time, Incremental Hierarchy Inference for Compression
DCC '97 Proceedings of the Conference on Data Compression
Dynamic Slicing Object-Oriented Programs for Debugging
SCAM '02 Proceedings of the Second IEEE International Workshop on Source Code Analysis and Manipulation
A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
Experimental evaluation of using dynamic slices for fault location
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Dynamic path conditions in dependence graphs
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Distributed dynamic slicing of Java programs
Journal of Systems and Software
Towards locating execution omission errors
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Efficient online detection of dynamic control dependence
Proceedings of the 2007 international symposium on Software testing and analysis
Proceedings of the 2007 international symposium on Software testing and analysis
Locating faulty code by multiple points slicing
Software—Practice & Experience
A parallel algorithm for dynamic slicing of distributed Java programs in non-DSM systems
International Journal of Information and Communication Technology
Debugging reinvented: asking and answering why and why not questions about program behavior
Proceedings of the 30th international conference on Software engineering
Efficient program execution indexing
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Algorithms and tool support for dynamic information flow analysis
Information and Software Technology
Profiling Java programs for parallelism
IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
Proceedings of the eighteenth international symposium on Software testing and analysis
Program dependence graph based slicing for Java
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Computing dynamic slices of concurrent object-oriented programs
Information and Software Technology
A lightweight approach for program analysis and debugging
Proceedings of the 3rd India software engineering conference
BPGen: an automated breakpoint generator for debugging
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Extracting and answering why and why not questions about Java program output
ACM Transactions on Software Engineering and Methodology (TOSEM)
DARWIN: An approach to debugging evolving programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Partition-based regression verification
Proceedings of the 2013 International Conference on Software Engineering
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
Dynamic slicing is a well-known program debuggingtechnique. Given a program P and input I, it finds all programstatements which directly/indirectly affect the valuesof some variablesý occurrences when P is executed with I.Dynamic slicing algorithms often proceed by traversing theexecution trace of P produced by input I (or a dependencegraph which captures control/data flow in the executiontrace). Consequently, it is important to develop space efficient representations of the execution trace.In this paper, we use results from data compression tocompactly represent bytecode traces of sequential Java programs.The major space savings come from the optimizedrepresentation of data (instruction) addresses used by memoryreference (branch) bytecodes as operands. We give detailedexperimental results on the space efficiency and timeoverheads for our compact trace representation. We thenshow how dynamic slicing algorithms can directly traverseour compact traces without resorting to costly decompression.We also develop an extension of dynamic slicing whichallows us to explain omission errors (i.e. why some eventsdid not happen during program execution).