Marcus Kessel, Colin Atkinson 0001. On the Efficacy of Dynamic Behavior Comparison for Judging Functional Equivalence. In 19th International Working Conference on Source Code Analysis and Manipulation, SCAM 2019, Cleveland, OH, USA, September 30 - October 1, 2019. pages 193-203, IEEE, 2019. [doi]
Abstract is missing.