Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines.

Niklas Krafczyk, Jan Peleska

Browse the full SEFM paper archive.