Value Slice: A New Slicing Concept for Scalable Property Checking
Abstract elided by the publisher.
Related papers
- Dynamic Program Slicing PLDI 1990
- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution) TACAS 2021
- Program Tailoring: Slicing by Sequential Criteria ECOOP 2016
- Pruning dynamic slices with confidence PLDI 2006
- Path slicing PLDI 2005
- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) TACAS 2023
- Specialization Slicing TOPLAS 2014
- Slicing as a program transformation TOPLAS 2007