On the Efficacy of Dynamic Behavior Comparison for Judging Functional Equivalence.

Marcus Kessel, Colin Atkinson

Browse the full SCAM paper archive.