Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
Abstract elided by the publisher.
Related papers
- Interprocedural slicing of multithreaded programs with applications to Java TOPLAS 2006
- Pruning dynamic slices with confidence PLDI 2006
- A new foundation for control dependence and slicing for modern program structures TOPLAS 2007
- Towards locating execution omission errors PLDI 2007
- Verifying safety properties of concurrent Java programs using 3-valued logic POPL 2001
- Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM CAV 2023
- Exploring and enforcing security guarantees via program dependence graphs PLDI 2015
- CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution) TACAS 2018