Sequential Composition of BDD Transition Systems for Model-Based Testing.

Tannaz Zameni, Petra van den Bos, Johan Foederer, Arend Rensink

Browse the full FORTE paper archive.