A Fast and Usually Linear Algorithm for Global Flow Analysis
Journal of the ACM (JACM)
An Algorithm for Structuring Flowgraphs
Journal of the ACM (JACM)
Program Improvement by Source-to-Source Transformation
Journal of the ACM (JACM)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
A fast algorithm for finding dominators in a flowgraph
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of Array, Record, and Pointer Operations in Pascal
ACM Transactions on Programming Languages and Systems (TOPLAS)
Syntactic source to source transforms and program manipulation
Communications of the ACM
A practical interprocedural data flow analysis algorithm
Communications of the ACM
Certification of programs for secure information flow
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Correctness-preserving program transformations
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Flow Analysis of Computer Programs
Flow Analysis of Computer Programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Prime subprogram parsing of a program
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Principles of Software Engineering and Design
Principles of Software Engineering and Design
FAST: A second generation program analysis system
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Dynamic-analysis of execution: possibilities, techniques and problems.
Dynamic-analysis of execution: possibilities, techniques and problems.
Program slices: formal, psychological, and practical investigations of an automatic program abstraction method
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Study of the Applicability of Complexity Measures
IEEE Transactions on Software Engineering
The relationship between slices and module cohesion
ICSE '89 Proceedings of the 11th international conference on Software engineering
Using Program Slicing in Software Maintenance
IEEE Transactions on Software Engineering
Maintenance Support for Object-Oriented Programs
IEEE Transactions on Software Engineering - Special issue on software maintenance
An interactive debugging tool for C based on dynamic slicing and dicing
CSC '93 Proceedings of the 1993 ACM conference on Computer science
CAP: an automated self-assessment tool to check Pascal programs for syntax, logic and style errors
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Understanding natural programs using proper decomposition
ICSE '91 Proceedings of the 13th international conference on Software engineering
Program and interface slicing for reverse engineering
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Query-based debugging of object-oriented programs
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Semantics Guided Regression Test Cost Reduction
IEEE Transactions on Software Engineering
Automatically closing open reactive programs
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Architecture-level dependence analysis in support of software maintenance
ISAW '98 Proceedings of the third international workshop on Software architecture
A representation model for procedural program maintenance
Proceedings of the 1999 ACM symposium on Applied computing
Call-mark slicing: an efficient and economical way of reducing slice
Proceedings of the 21st international conference on Software engineering
Programmers use slices when debugging
Communications of the ACM
Making slicing practical: the final mile
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Maintenance support tools for JAVA programs: CCFinder and JAAT
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Fault localization using execution traces
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Generic control flow reconstruction from assembly code
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Analyzing information-flow in java program based on slicing technique
ACM SIGSOFT Software Engineering Notes
Leakage-proof program partitioning
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
MicroScope: A Knowledge-Based Programming Environment
IEEE Software
IEEE Transactions on Software Engineering
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Whole program Path-Based dynamic impact analysis
Proceedings of the 25th International Conference on Software Engineering
A framework for modeling and optimization of prescient instruction prefetch
SIGMETRICS '03 Proceedings of the 2003 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Using Multiple Graphs of Programs to Modify Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Extracting Code Fragment that Implements Functionality
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Slicing Methods Using Static and Dynamic Analysis Information
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
A discriminant metric for module cohesion
ICSE '84 Proceedings of the 7th international conference on Software engineering
A new program structure to improve accuracy and readability of pascal software
ICSE '84 Proceedings of the 7th international conference on Software engineering
The application of error-sensitive testing strategies to debugging
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Static analysis of programs as an aid to debugging
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
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
Supporting user hypotheses in problem diagnosis
Proceedings of the 9th international conference on Intelligent user interfaces
Beyond files: programming with multiple source views
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
Interprocedural slicing using dependence graphs
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Faithfulness in internet algorithms
Proceedings of the ACM SIGCOMM workshop on Practice and theory of incentives in networked systems
PSE: explaining program failures via postmortem static analysis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
The Efficiency of Critical Slicing in Fault Localization
Software Quality Control
Jungloid mining: helping to navigate the API jungle
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Trust but verify: monitoring remotely executing programs for progress and correctness
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Divide-and-query and subterm dependency tracking in the mercury declarative debugger
Proceedings of the sixth international symposium on Automated analysis-driven debugging
ReSlice: Selective Re-Execution of Long-Retired Misspeculated Instructions Using Forward Slicing
Proceedings of the 38th annual IEEE/ACM International Symposium on Microarchitecture
HDD: hierarchical delta debugging
Proceedings of the 28th international conference on Software engineering
Maintaining mental models: a study of developer work habits
Proceedings of the 28th international conference on Software engineering
Analyzing feature implementation by visual exploration of architecturally-embedded call-graphs
Proceedings of the 2006 international workshop on Dynamic systems analysis
Slicing techniques for verification re-use
Theoretical Computer Science - Formal methods for components and objects
Visual exploration of function call graphs for feature location in complex software systems
SoftVis '06 Proceedings of the 2006 ACM symposium on Software visualization
Program slicing for declarative models
ACM SIGSOFT Software Engineering Notes
Aspect-orientation For Revitalising Legacy Business Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Perspectives on automated testing of aspect-oriented programs
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Proceedings of the 2007 ACM symposium on Applied computing
A framework for the static verification of api calls
Journal of Systems and Software
Kato: A Program Slicing Tool for Declarative Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Efficient online detection of dynamic control dependence
Proceedings of the 2007 international symposium on Software testing and analysis
State coverage: a structural test adequacy criterion for behavior checking
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Empirical study of optimization techniques for massive slicing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Bouncer: securing software by blocking bad input
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
State coverage: a structural test adequacy criterion for behavior checking
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
An empirical study of slice-based cohesion and coupling metrics
ACM Transactions on Software Engineering and Methodology (TOSEM)
Empirical-based recovery and maintenance of input error-correction features
Journal of Software Maintenance and Evolution: Research and Practice
Applying static analysis for automated extraction of database interactions in web applications
Information and Software Technology
Data dependencies and program slicing: from syntax to abstract semantics
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Grace: automated slicing for visual basic
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Regression testing based-on slicing of component-based software architectures
ISEC '08 Proceedings of the 1st India software engineering conference
An approach for the maintenance of input validation
Information and Software Technology
Crosscutting invariant and an efficient checking algorithm using program slicing
ACM SIGPLAN Notices
Removing useless variables in cost analysis of Java bytecode
Proceedings of the 2008 ACM symposium on Applied computing
Scalable detection of semantic clones
Proceedings of the 30th international conference on Software engineering
Towards a framework for software navigation techniques
Proceedings of the 2008 international workshop on Cooperative and human aspects of software engineering
A state coverage tool for JUnit
Companion of the 30th international conference on Software engineering
Answering common questions about code
Companion of the 30th international conference on Software engineering
SAVE: static analysis on versioning entities
Proceedings of the fourth international workshop on Software engineering for secure systems
Explaining failures of program analyses
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Dominator-tree analysis for distributed authorization
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The probabilistic program dependence graph and its application to fault diagnosis
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Locating dependence structures using search-based slicing
Information and Software Technology
Trust '08 Proceedings of the 1st international conference on Trusted Computing and Trust in Information Technologies: Trusted Computing - Challenges and Applications
Constraint Prioritization for Efficient Analysis of Declarative Models
FM '08 Proceedings of the 15th international symposium on Formal Methods
Hiding Software Watermarks in Loop Structures
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Answering control flow questions about code
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
SoC-C: efficient programming abstractions for heterogeneous multicore systems on chip
CASES '08 Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems
Effective blame for information-flow violations
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
An empirical study of the relationship between the concepts expressed in source code and dependence
Journal of Systems and Software
Efficient and extensible security enforcement using dynamic data flow analysis
Proceedings of the 15th ACM conference on Computer and communications security
Cryptographic Protocol Explication and End-Point Projection
ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
A tool-based approach for software testing and validation
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Automated test data generation for aspect-oriented programs
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Isolation points: Creating performance-robust enterprise systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Tralfamadore: unifying source code and execution experience
Proceedings of the 4th ACM European conference on Computer systems
Applying test-driven code search to the reuse of auxiliary functionality
Proceedings of the 2009 ACM symposium on Applied Computing
Control Dependence for Extended Finite State Machines
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Detecting and resolving unsound workflow views for correct provenance analysis
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
A Formal Translation From an Imperative Language With Array to a Declarative Language
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Change impact graphs: Determining the impact of prior codechanges
Information and Software Technology
Identifying semantic differences in AspectJ programs
Proceedings of the eighteenth international symposium on Software testing and analysis
Proceedings of the eighteenth international symposium on Software testing and analysis
Penumbra: automatically identifying failure-relevant inputs using dynamic tainting
Proceedings of the eighteenth international symposium on Software testing and analysis
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Api hyperlinking via structural overlap
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Detecting precise behavioral models
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Tracking performance across software revisions
PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Slicing based code parallelization for minimizing inter-processor communication
CASES '09 Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Program dependence graph based slicing for Java
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A hybrid analysis framework for detecting web application vulnerabilities
IWSESS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Secure Systems
Filtering false alarms of buffer overflow analysis using SMT solvers
Information and Software Technology
Control flow obfuscation with information flow tracking
Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture
Slicing-based Reductions for Rebeca
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM SIGOPS Operating Systems Review
A lightweight approach for program analysis and debugging
Proceedings of the 3rd India software engineering conference
Understanding provenance black boxes
Distributed and Parallel Databases
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
Execution synthesis: a technique for automated software debugging
Proceedings of the 5th European conference on Computer systems
Decomposing integrated specifications for verification
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Provenance as dependency analysis
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Slicing Petri nets with an application to workflow verification
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Property-aware program sampling
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
SUDS: an infrastructure for creating dynamic software defect detection tools
Automated Software Engineering
CASI: preventing indirect conflicts through a live visualization
Proceedings of the 2010 ICSE Workshop on Cooperative and Human Aspects of Software Engineering
Actor-based slicing techniques for efficient reduction of Rebeca models
Science of Computer Programming
Reverse-engineering drivers for safety and portability
HotDep'08 Proceedings of the Fourth conference on Hot topics in system dependability
Effective and efficient malware detection at the end host
SSYM'09 Proceedings of the 18th conference on USENIX security symposium
Proceedings of the IEEE/ACM international conference on Automated software engineering
Matching dependence-related queries in the system dependence graph
Proceedings of the IEEE/ACM international conference on Automated software engineering
Proceedings of the 17th ACM conference on Computer and communications security
GamaSlicer: an online laboratory for program verification and analysis
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Model-based regression test case prioritization
ACM SIGSOFT Software Engineering Notes
Dependence cluster visualization
Proceedings of the 5th international symposium on Software visualization
Sysfier: Actor-based formal verification of SystemC
ACM Transactions on Embedded Computing Systems (TECS)
Language-based replay via data flow cut
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
IntPatch: automatically fix integer-overflow-to-buffer-overflow vulnerability at compile-time
ESORICS'10 Proceedings of the 15th European conference on Research in computer security
Ad hoc synchronization considered harmful
OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Loop refinement using octagons and satisfiability
SSV'10 Proceedings of the 5th international conference on Systems software verification
Generating sound workflow views for correct provenance analysis
ACM Transactions on Database Systems (TODS)
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Model checking a model checker: a code contract combined approach
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Achieving a single compute device image in OpenCL for multiple GPUs
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
A test-driven approach to code search and its application to the reuse of auxiliary functionality
Information and Software Technology
Reducing combinatorics in testing product lines
Proceedings of the tenth international conference on Aspect-oriented software development
Making the common case the only case with anticipatory memory allocation
FAST'11 Proceedings of the 9th USENIX conference on File and stroage technologies
Program slicing-based cohesion measurement: the challenges of replicating studies using metrics
Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics
Exception handling in web service processes
The evolution of conceptual modeling
Proceedings of the 33rd International Conference on Software Engineering
Model projection: simplifying models in response to restricting the environment
Proceedings of the 33rd International Conference on Software Engineering
Practical change impact analysis based on static program slicing for industrial software systems
Proceedings of the 33rd International Conference on Software Engineering
Pragmatic reuse in web application development
Proceedings of the 33rd International Conference on Software Engineering
Tainted flow analysis on e-SSA-form programs
CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software
A bottom-up approach to understand functional programs
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
On the management of user obligations
Proceedings of the 16th ACM symposium on Access control models and technologies
Statically-directed dynamic automated test generation
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Are automated debugging techniques actually helping programmers?
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Generating analyses for detecting faults in path segments
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Java replay for dependence-based debugging
Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Mitigating the confounding effects of program dependences for effective fault localization
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
The sante tool: value analysis, program slicing and test generation for C program debugging
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Reusing web application user-interface controls
ICWE'11 Proceedings of the 11th international conference on Web engineering
Information and Software Technology
A unifying theory of control dependence and its application to arbitrary program structures
Theoretical Computer Science
Proceedings of the 14th international conference on Model driven engineering languages and systems
XQuery optimization based on program slicing
Proceedings of the 20th ACM international conference on Information and knowledge management
Ten years of analyzing actors: Rebeca experience
Formal modeling
Is there evolution before birth? deterioration effects of formal Z specifications
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Making the common case the only case with anticipatory memory allocation
ACM Transactions on Storage (TOS)
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Parametric and termination-sensitive control dependence
SAS'06 Proceedings of the 13th international conference on Static Analysis
Towards the profiling of scientific software for accuracy
Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
Abstract dependences for alarm diagnosis
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Reducing software architecture models complexity: a slicing and abstraction approach
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Provenance as dependency analysis
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
VEE '12 Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments
Slicing object-z specifications for verification
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Understanding the origin of alarms in ASTRÉE
SAS'05 Proceedings of the 12th international conference on Static Analysis
Separation of concerns in feature modeling: support and applications
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Using sequential debugging techniques with massively parallel programs
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Analysis of bug fixing processes using program slicing metrics
PROFES'10 Proceedings of the 11th international conference on Product-Focused Software Process Improvement
A vocabulary of program slicing-based techniques
ACM Computing Surveys (CSUR)
Extracting client-side web application code
Proceedings of the 21st international conference on World Wide Web
A generic solution for agile run-time inspection middleware
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Client-side web application slicing
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Decomposing feature models: language, environment, and applications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Automated documentation inference to explain failed tests
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Mesh independent loop fusion for unstructured mesh applications
Proceedings of the 9th conference on Computing Frontiers
Optimizing data shuffling in data-parallel computation by understanding user-defined functions
NSDI'12 Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation
Program slicing enhances a verification technique combining static and dynamic analysis
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Automated error diagnosis using abductive inference
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Static detection of unsafe component loadings
CC'12 Proceedings of the 21st international conference on Compiler Construction
System dependence graphs in sequential erlang
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Modifying test suite composition to enable effective predicate-level statistical debugging
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
A first step towards algorithm plagiarism detection
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Slicing MATLAB simulink models
Proceedings of the 34th International Conference on Software Engineering
MoonBox: debugging with online slicing and dryrun
Proceedings of the Asia-Pacific Workshop on Systems
Improving the effectiveness of spectra-based fault localization using specifications
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Property-preserving program refinement
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Functional programs that explain their work
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Probabilistic diagnosis of performance faults in large-scale parallel applications
Proceedings of the 21st international conference on Parallel architectures and compilation techniques
Conditioned model slicing of feature-annotated state machines
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Babel: a secure computer is a polyglot
Proceedings of the 2012 ACM Workshop on Cloud computing security workshop
MoonBox: debugging with online slicing and dryrun
APSys'12 Proceedings of the Third ACM SIGOPS Asia-Pacific conference on Systems
Spotting code optimizations in data-parallel pipelines through PeriSCOPE
OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
Implementing conformiq Qtronic
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Automating presentation changes in dynamic web applications via collaborative hybrid analysis
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering
A generic solution for agile run-time inspection middleware
Proceedings of the 12th International Middleware Conference
Enriching Documents with Examples: A Corpus Mining Approach
ACM Transactions on Information Systems (TOIS)
Making abstract interpretation incomplete: modeling the potency of obfuscation
SAS'12 Proceedings of the 19th international conference on Static Analysis
Path-Sensitive backward slicing
SAS'12 Proceedings of the 19th international conference on Static Analysis
Symbiotic: synergy of instrumentation, slicing, and symbolic execution
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
FAMILIAR: A domain-specific language for large scale management of feature models
Science of Computer Programming
Dynamic decision tree for legacy use-case recovery
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Rhea: automatic filtering for unstructured cloud storage
nsdi'13 Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation
Tuning dynamic data flow analysis to support design understanding
Proceedings of the Conference on Design, Automation and Test in Europe
Determining relevant model elements for the verification of UML/OCL specifications
Proceedings of the Conference on Design, Automation and Test in Europe
Practical semantic test simplification
Proceedings of the 2013 International Conference on Software Engineering
Identifying message flow in distributed event-based systems
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Marple: Detecting faults in path segments using automatically generated analyses
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Fast condensation of the program dependence graph
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
A large-scale cross-architecture evaluation of thread-coarsening
SC '13 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Supporting feature model refinement with updatable view
Frontiers of Computer Science: Selected Publications from Chinese Universities
An empirical study of cryptographic misuse in android applications
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
ACM Transactions on Programming Languages and Systems (TOPLAS)
A formal framework for property-driven obfuscation strategies
FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory
Mantis: automatic performance prediction for smartphone applications
USENIX ATC'13 Proceedings of the 2013 USENIX conference on Annual Technical Conference
Efficient static checker for tainted variable attacks
Science of Computer Programming
Using conditional trace slicing for improving Maude programs
Science of Computer Programming
Behind the scenes in SANTE: a combination of static and dynamic analyses
Automated Software Engineering
Reducing the verification cost of evolving product families using static analysis techniques
Science of Computer Programming
Using type analysis in compiler to mitigate integer-overflow-to-buffer-overflow threat
Journal of Computer Security - ESORICS 2010
A core calculus for provenance
Journal of Computer Security - Security and Trust Principles
Comparison and evaluation of source code mining tools and techniques: A qualitative approach
Intelligent Data Analysis
| Hi-index | 0.02 |
Program slicing is a method used by experienced computer programmers for abstracting from programs. Starting from a subset of a program's behavior, slicing reduces that program to a minimal form which still produces that behavior. The reduced program, called a “slice”, is an independent program guaranteed to faithfully represent the original program within the domain of the specified subset of behavior. Finding a slice is in general unsolvable. A dataflow algorithm is presented for approximating slices when the behavior subset is specified as the values of a set of variables at a statement. Experimental evidence is presented that these slices are used by programmers during debugging. Experience with two automatic slicing tools is summarized. New measures of program complexity are suggested based on the organization of a program's slices.