Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms.

Matthew Fredrikson, Mihai Christodorescu, Somesh Jha

Browse the full CADE paper archive.