Pruning Boolean Expressions to Shorten Dynamic Slices

Thomas Hirsch, Birgit Hofer. Pruning Boolean Expressions to Shorten Dynamic Slices. In SCAM. pages 1-11, 2022. [doi]

Abstract

Abstract is missing.