Prototyping Generators for On-line Test Vector Generation Based on PSL Properties.

Yann Oddos, Katell Morin-Allory, Dominique Borrione

Browse the full DDECS paper archive.