An Approach to Symbolic Test Generation.

Vlad Rusu, Lydie du Bousquet, Thierry Jron

Browse the full IFM paper archive.