Random testing and model checking: building a common framework for nondeterministic exploration.

Alex Groce, Rajeev Joshi

Browse the full ISSTA paper archive.