S

sogMBT

Symbolic Observation Graph-Based Generation of Test Paths