Detecting inconsistencies via universal reachability analysis.

Aaron Tomb, Cormac Flanagan

Browse the full ISSTA paper archive.