Yann Oddos, Katell Morin-Allory, Dominique Borrione. Prototyping Generators for On-line Test Vector Generation Based on PSL Properties. In Patrick Girard, Andrzej Krasniewski, Elena Gramatová, Adam Pawlak, Tomasz Garbolino, editors, Proceedings of the 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2007), Kraków, Poland, April 11-13, 2007. pages 383-388, IEEE Computer Society, 2007.
Abstract is missing.