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
IEEE Transactions on Software Engineering
The semantic approach to program slicing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Using Program Slicing in Software Maintenance
IEEE Transactions on Software Engineering
Projecting functional models of imperative programs
ACM SIGPLAN Notices
Slicing class hierarchies in C++
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Slicing real-time programs for enhanced schedulability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Class hierarchy specialization
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Aggregate structure identification and its application to program analysis
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Programmers use slices when debugging
Communications of the ACM
A slicing-based approach for locating type errors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Redocumentation for the maintenance of software
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Equivalence of conservative, free, linear program schemas is decidable
Theoretical Computer Science
Program Slicing of Hardware Description Languages
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Change impact analysis to support architectural evolution
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
ICSE '81 Proceedings of the 5th international conference on Software engineering
Knowledge-based fault localization in debugging (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Context-sensitive slicing of concurrent programs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Journal of Systems and Software
Syntax-Directed Amorphous Slicing
Automated Software Engineering
IEEE Transactions on Software Engineering
CONSIT: a fully automated conditioned program slicer
Software—Practice & Experience
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Slicing, Chopping, and Path Conditions with Barriers
Software Quality Control
SPARTACAS Automating Component Reuse and Adaptation
IEEE Transactions on Software Engineering
Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
IEEE Transactions on Software Engineering
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
The Efficiency of Critical Slicing in Fault Localization
Software Quality Control
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Cost and precision tradeoffs of dynamic data slicing algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lightweight program specialization via dynamic slicing
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Information and Computation
Equivalence checking between behavioral and RTL descriptions with virtual controllers and datapaths
ACM Transactions on Design Automation of Electronic Systems (TODAES)
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
A formalisation of the relationship between forms of program slicing
Science of Computer Programming - Special issue on source code analysis and manipulation (SCAM 2005)
Effects of context on program slicing
Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
Theoretical foundations of dynamic program slicing
Theoretical Computer Science
Finding failure-inducing changes in java programs using change classification
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
An empirical study of static program slice size
ACM Transactions on Software Engineering and Methodology (TOSEM)
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time
Theoretical Computer Science
Forward slicing of functional logic programs by partial evaluation
Theory and Practice of Logic Programming
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
A slicing-based approach for locating type errors
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Journal of Software Maintenance and Evolution: Research and Practice - Source Code Analysis and Manipulation (SCAM 2006)
Empirical study of optimization techniques for massive slicing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Flayer: exposing application internals
WOOT '07 Proceedings of the first USENIX workshop on Offensive Technologies
Journal of Systems and Software
Secure slices of insecure programs
Proceedings of the 2008 ACM symposium on Information, computer and communications security
Trust '08 Proceedings of the 1st international conference on Trusted Computing and Trust in Information Technologies: Trusted Computing - Challenges and Applications
Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations
ICA3PP '08 Proceedings of the 8th international conference on Algorithms and Architectures for Parallel Processing
Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops
ICCSA '08 Proceedings of the international conference on Computational Science and Its Applications, Part II
An empirical study of the relationship between the concepts expressed in source code and dependence
Journal of Systems and Software
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
SOC: a slicer for CSP specifications
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Trading-off security and performance in barrier slicing for remote software entrusting
Automated Software Engineering
Dynamic parallelization of single-threaded binary programs using speculative slicing
Proceedings of the 23rd international conference on Supercomputing
Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
Verification Techniques for System-Level Design
Verification Techniques for System-Level Design
Reducing Test Inputs Using Information Partitions
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Diagnostic reasoning in software fault localization
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Assessing the impact of global variables on program dependence and dependence clusters
Journal of Systems and Software
Efficient Model Checking of Hardware Using Conditioned Slicing
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
A trajectory-based strict semantics for program slicing
Theoretical Computer Science
Program transformations for information personalization
Computer Languages, Systems and Structures
Forward slicing of multi-paradigm declarative programs based on partial evaluation
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Requirement-centric traceability for change impact analysis: a case study
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
New developments in WCET analysis
Program analysis and compilation, theory and practice
Testability transformation: program transformation to improve testability
Formal methods and testing
Strict control dependence and its effect on dynamic information flow analyses
Proceedings of the 19th international symposium on Software testing and analysis
Slicing for architectural analysis
Science of Computer Programming
An alternative characterization of weak order dependence
Information Processing Letters
A compiler framework for the reduction of worst-case execution times
Real-Time Systems
Field-sensitive program dependence analysis
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
FlagRemover: A testability transformation for transforming loop-assigned flags
ACM Transactions on Software Engineering and Methodology (TOSEM)
A unifying theory of control dependence and its application to arbitrary program structures
Theoretical Computer Science
Coupling-based transformations of Z specifications into UML diagrams
Innovations in Systems and Software Engineering
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
Ontology model-based static analysis of security vulnerabilities
ICICS'11 Proceedings of the 13th international conference on Information and communications security
A slicing tool for lazy functional logic programs
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A fast static analysis approach to detect exploit code inside network flows
RAID'05 Proceedings of the 8th international conference on Recent Advances in Intrusion Detection
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
A vocabulary of program slicing-based techniques
ACM Computing Surveys (CSUR)
A case study of a slicing-based approach for locating type errors
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Sound and precise analysis of parallel programs through schedule specialization
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
An empirical study of automatic event reconstruction systems
Digital Investigation: The International Journal of Digital Forensics & Incident Response
Quantitative program dependence graphs
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Exploiting slicing and patterns for RTSJ immortal memory optimization
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
DriverGuard: Virtualization-Based Fine-Grained Protection on I/O Flows
ACM Transactions on Information and System Security (TISSEC)
Cloud engineering is Search Based Software Engineering too
Journal of Systems and Software
COMPLEXITY MEASURES FOR NETWORK PROCESS EVOLUTION
Journal of Integrated Design & Process Science
| Hi-index | 0.03 |