Our paper “More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes” won an ACM SIGSOFT Distinguished Paper award at ISSTA 2023!