Specification-based Testing of Concurrent Systems.

Andreas Ulrich, Hartmut Knig

Browse the full FORTE paper archive.