ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Syntax-Directed Amorphous Slicing
Automated Software Engineering
CONSIT: a fully automated conditioned program slicer
Software—Practice & Experience
Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis
Software Quality Control
Slicing, Chopping, and Path Conditions with Barriers
Software Quality Control
A Statistical Model to Locate Faults at Input Level
Proceedings of the 19th IEEE international conference on Automated software engineering
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
ConSUS: a light-weight program conditioner
Journal of Systems and Software - Special issue: Software reverse engineering
Slicing as a program transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program slice distribution functions
Winter Simulation Conference
Hi-index | 0.00 |
Conditioned slicing is a powerful generalization of static and dynamic slicing, which has applications to many problems in software maintenance and evolution, including re-use, re-engineering and program comprehension. However, there has been relatively little work on the implementation of conditioned slicing. Algorithms for implementing conditioned slicing necessarily involve reasoning about the values of program predicates in certain sets of states derived from the conditioned slicing criterion, making implementation particularly demanding. This paper introduces ConSIT, a conditioned slicing system that is based upon conventional static slicing, symbolic execution and theorem proving. ConSIT is the first fully automated implementation of conditioned slicing.