Repository navigation
Online Appendix for SCAM 2022 Paper
Pre-release
Pre-release
Online appendix for the paper "Pruning Boolean Expressions to Shorten Dynamic Slices" by Thomas Hirsch and Birgit Hofer.
https://doi.org/10.1109/SCAM55253.2022.00006