Abstraction for Falsification.

Thomas Ball, Orna Kupferman, Greta Yorsh

Browse the full CAV paper archive.