Testing Concurrent Object-Oriented Systems with Spec Explorer.

Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Browse the full FM paper archive.