@conference {hodovan2017tree, title = {Tree Preprocessing and Test Outcome Caching for Efficient Hierarchical Delta Debugging}, booktitle = {Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing (AST 2017)}, year = {2017}, pages = {23{\textendash}29}, address = {Buenos Aires, Argentina}, keywords = {select:itsec2}, author = {Hodov{\'a}n, Ren{\'a}ta and {\'A}kos Kiss and Tibor Gyim{\'o}thy} } @article {barraclough:strict, title = {A Trajectory-based Strict Semantics for Program Slicing}, journal = {Theoretical Computer Science}, volume = {411}, number = {11{\textendash}13}, year = {2010}, pages = {1372{\textendash}1386}, publisher = {elsevier}, author = {R. W. Barraclough and D. Binkley and S. Danicic and M. Harman and R. M. Hierons and {\'A}kos Kiss and M. Laurence and L. Ouarbya} } @article {binkley:foundations, title = {Theoretical Foundations of Dynamic Program Slicing}, journal = {Theoretical Computer Science}, volume = {360}, number = {1{\textendash}3}, year = {2006}, month = {aug}, pages = {23{\textendash}41}, publisher = {elsevier}, author = {D. Binkley and S. Danicic and Tibor Gyim{\'o}thy and M. Harman and {\'A}kos Kiss and B. Korel} }