Finding common ground: choose, assert, and assume.

Alex Groce, Martin Erwig

Browse the full ISSTA paper archive.