Symbolic Observation Graph-Based Generation of Test Paths.

Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jrg Desel, Hanen Ochi

Browse the full TAP paper archive.