Communications of the ACM
A contribution to the development of ALGOL
Communications of the ACM
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
ICSE '81 Proceedings of the 5th international conference on Software engineering
Correctness concerns and, among other things, why they are resented
Proceedings of the international conference on Reliable software
Program slices: formal, psychological, and practical investigations of an automatic program abstraction method
Program reduction using symbolic execution
ACM SIGSOFT Software Engineering Notes
Software psychology: Human factors in computer and information systems (Winthrop computer systems series)
Information-flow and data-flow analysis of while-programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
When GOTO goes to, how does it get there?
ACM SIGPLAN Notices
Designing documentation to compensate for delocalized plans
Communications of the ACM
Combining Static Concurrency Analysis with Symbolic Execution
IEEE Transactions on Software Engineering
A mechanism for efficient debugging of parallel programs
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
A review of automated debugging systems: knowledge, strategies and techniques
ICSE '88 Proceedings of the 10th international conference on Software engineering
System structure and software maintenance performance
Communications of the ACM
A mechanism for efficient debugging of parallel programs
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
The relationship between slices and module cohesion
ICSE '89 Proceedings of the 11th international conference on Software engineering
The implications of program dependencies for software testing, debugging, and maintenance
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
IEEE Transactions on Software Engineering
Techniques for debugging parallel programs with flowback analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dynamic slicing in the presence of unconstrained pointers
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Using Program Slicing in Software Maintenance
IEEE Transactions on Software Engineering
Developing and integrating ProDAG in the Arcadia environment
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
The Task Dependence Net in Ada software development
ACM SIGAda Ada Letters
Generalized algorithmic debugging and testing
ACM Letters on Programming Languages and Systems (LOPLAS)
An interactive debugging tool for C based on dynamic slicing and dicing
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Forward computation of dynamic program slices
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Debugging heterogeneous distributed systems using event-based models of behavior
ACM Transactions on Computer Systems (TOCS)
Extracting task-level parallelism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Critical slicing for software fault localization
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Beyond traditional program slicing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Computation of Dynamic Program Slices for Unstructured Programs
IEEE Transactions on Software Engineering
An overview of debugging tools
ACM SIGSOFT Software Engineering Notes
Flow insensitive C++ pointers and polymorphism analysis and its application to slicing
ICSE '97 Proceedings of the 19th international conference on Software engineering
Program and interface slicing for reverse engineering
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Task dependence nets for concurrent systems with Ada 95 and its applications
Proceedings of the conference on TRI-Ada '97
Simplifying failure-inducing input
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Goal-driven combination of software comprehension approaches for component based development
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Simplifying and Isolating Failure-Inducing Input
IEEE Transactions on Software Engineering
On the relationship between model-based debugging and program slicing
Artificial Intelligence
Isolating cause-effect chains from computer programs
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Automated Software Engineering
Static and Dynamic Slicing of Constraint Logic Programs
Automated Software Engineering
Experimental Evaluation of Program Slicing for Fault Localization
Empirical Software Engineering
Isolating cause-effect chains from computer programs
ACM SIGSOFT Software Engineering Notes
On the Edge: Regression testability
IEEE Micro
A Framework for Distributed Debugging
IEEE Software
A Software Engineering Methodology for Rule-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Automatic Extraction of Functional Parallelism from Ordinary Programs
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
Experimental evaluation of hypertext access structures
Journal of Software Maintenance: Research and Practice
From relational program dependencies to hypertextual access structures
Nordic Journal of Computing
A Flexible Framework for Dynamic and Static Slicing of Logic Programs
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Failure and Fault Analysis for Software Debugging
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Max-CSP Approach for Software Diagnosis
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Computation Slicing: Techniques and Theory
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Querying Data-Intensive Programs for Data Design
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Using Multiple Models for Debugging VHDL Designs
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Model-Based Debugging or How to Diagnose Programs Automatically
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Comparing Two Models for Software Debugging
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
From diagnosis to diagnosability: axiomatization, measurement and application
Journal of Systems and Software
?SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Ensuring System and Software Reliability in Safety-Critical Systems
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Fifteen years of psychology in software engineering: Individual differences and cognitive science
ICSE '84 Proceedings of the 7th international conference on Software engineering
An evaluation of required element testing strategies
ICSE '84 Proceedings of the 7th international conference on Software engineering
The program dependence graph in a software development environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A comparison of methods for locating features in legacy software
Journal of Systems and Software
Program Execution-Based Module Cohesion Measurement
Proceedings of the 16th IEEE international conference on Automated software engineering
On Slicing a Distributed Computation
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Journal of Systems and Software
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems
Automated Software Engineering
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
Applied Intelligence
An Edge Marking Technique for Dynamic Slicing of Object-Oriented Programs
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Another person's eye gaze as a cue in solving programming problems
Proceedings of the 6th international conference on Multimodal interfaces
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
IEEE Transactions on Software Engineering
Hypertext support for the information needs of software maintainers
Journal of Software Maintenance and Evolution: Research and Practice
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
Web Application Slicing in Presence of Dynamic Code Generation
Automated Software Engineering
The Efficiency of Critical Slicing in Fault Localization
Software Quality Control
Locating causes of program failures
Proceedings of the 27th international conference on Software engineering
Smart debugging software architectural design in SDL
Journal of Systems and Software - Special issue: Computer software & applications
Transformation and reaction rules for data on the web
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
ConSUS: a light-weight program conditioner
Journal of Systems and Software - Special issue: Software reverse engineering
Debugging VHDL designs using temporal process instances
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Presenting crosscutting structure with active models
Proceedings of the 5th international conference on Aspect-oriented software development
Aristotle: a system for development of program analysis based tools
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Evaluating a fisheye view of source code
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
HDD: hierarchical delta debugging
Proceedings of the 28th international conference on Software engineering
Slicing techniques for verification re-use
Theoretical Computer Science - Formal methods for components and objects
Software faults: a quantifiable definition
Advances in Engineering Software
An efficient interprocedural dynamic slicing method
Journal of Systems and Software
Techniques and applications of computation slicing
Distributed Computing
Effective program debugging based on execution slices and inter-block data dependency
Journal of Systems and Software - Special issue: Selected papers from the 11th Asia Pacific software engineering conference (APSEC 2004)
Optimizing slicing of formal specifications by deductive verification
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Theoretical foundations of dynamic program slicing
Theoretical Computer Science
Journal of Management Information Systems
A survey of intelligent debugging
AI Communications
Slicing as a program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed dynamic slicing of Java programs
Journal of Systems and Software
Reducing verification overhead with RTL slicing
Proceedings of the 17th ACM Great Lakes symposium on VLSI
Interprocedural definition-use chains of dynamic pointer-linked data structures
Scientific Programming
Design by Contract to Improve Software Vigilance
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Formal Verification of Simulation Traces Using Computation Slicing
IEEE Transactions on Computers
Detecting Arbitrary Stable Properties Using Efficient Snapshots
IEEE Transactions on Software Engineering
Sweeper: a lightweight end-to-end system for defending against fast worms
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Empirical study of optimization techniques for massive slicing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Triage: diagnosing production run failures at the user's site
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
Solving Computation Slicing Using Predicate Detection
IEEE Transactions on Parallel and Distributed Systems
Efficient unit test case minimization
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Using computing-all-slices algorithm in measuring functional cohesion
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Testing vs. code inspection vs. what else?: male and female end users' debugging strategies
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A parallel algorithm for dynamic slicing of distributed Java programs in non-DSM systems
International Journal of Information and Communication Technology
An efficient algorithm for computing all program static slices
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Application of redundant computation in program debugging
Journal of Systems and Software
Decomposition for Compositional Verification
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Finding causes of program output with the Java Whyline
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
First-aid: surviving and preventing memory management bugs during production runs
Proceedings of the 4th ACM European conference on Computer systems
Males' and Females' Script Debugging Strategies
IS-EUD '09 Proceedings of the 2nd International Symposium on End-User Development
HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
On Agility of Formal Specification
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
Change impact graphs: Determining the impact of prior codechanges
Information and Software Technology
Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Debugging debugging: acm sigsoft impact paper award keynote
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Dependence clusters in source code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software faults: A quantifiable definition
Advances in Engineering Software
Rapid: Identifying Bug Signatures to Support Debugging Activities
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A holistic approach to managing software change impact
Journal of Systems and Software
FACT: fast communication trace collection for parallel applications through program slicing
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
A family of code coverage-based heuristics for effective fault localization
Journal of Systems and Software
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
Multi-stage replay with crosscut
Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
An approach to feature location in distributed systems
Journal of Systems and Software
Static and dynamic attribute slicing tool for object-oriented programs
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
Program transformations for information personalization
Computer Languages, Systems and Structures
Slicing concurrent real-time system specifications for verification
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
New developments in WCET analysis
Program analysis and compilation, theory and practice
Developers ask reachability questions
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Extracting and answering why and why not questions about Java program output
ACM Transactions on Software Engineering and Methodology (TOSEM)
Constructing CDG for program with transfer statements
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 3
Verification of software via integration of design and implementation
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
2ndStrike: toward manifesting hidden concurrency typestate bugs
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Evolutionary repair of faulty software
Applied Soft Computing
Specification-based program repair using SAT
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Java replay for dependence-based debugging
Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Concurrency-oriented verification and coverage of system-level designs
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Bug localization in test-driven development
Advances in Software Engineering
Slicing an integrated formal method for verification
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Optimization of XSLT by compact specialization and combination
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
A novel approach for dynamic slicing of distributed object-oriented programs
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Slicing object-z specifications for verification
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Program spectra analysis with theory of evidence
Advances in Software Engineering - Special issue on Software Quality Assurance Methodologies and Techniques
A scalable tool for efficient protocol validation and testing
Computer Communications
Software fault localization based on program slicing spectrum
Proceedings of the 34th International Conference on Software Engineering
AutoDunt: dynamic latent dependence analysis for detection of zero day vulnerability
ICISC'11 Proceedings of the 14th international conference on Information Security and Cryptology
Forensic debugging of model transformations
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Combining slicing and constraint solving for better debugging: the CONBAS approach
Advances in Software Engineering
Fault localization using forward slicing spectrum
Proceedings of the 2013 Research in Adaptive and Convergent Systems
Debugging tutor: preliminary evaluation
Journal of Computing Sciences in Colleges
Software trustworthiness 2.0-A semantic web enabled global source code analysis approach
Journal of Systems and Software
Behind the scenes in SANTE: a combination of static and dynamic analyses
Automated Software Engineering
HSFal: Effective fault localization using hybrid spectrum of full slices and execution slices
Journal of Systems and Software
Hi-index | 48.25 |
Computer programmers break apart large programs into smaller coherent pieces. Each of these pieces: functions, subroutines, modules, or abstract datatypes, is usually a contiguous piece of program text. The experiment reported here shows that programmers also routinely break programs into one kind of coherent piece which is not coniguous. When debugging unfamiliar programs programmers use program pieces called slices which are sets of statements related by their flow of data. The statements in a slice are not necessarily textually contiguous, but may be scattered through a program.