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

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.

@inproceedings{OddosMB07,
  title = {Prototyping Generators for On-line Test Vector Generation Based on PSL Properties},
  author = {Yann Oddos and Katell Morin-Allory and Dominique Borrione},
  year = {2007},
  tags = {rule-based, testing},
  researchr = {https://researchr.org/publication/OddosMB07},
  cites = {0},
  citedby = {0},
  pages = {383-388},
  booktitle = {Proceedings of the 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2007), Kraków, Poland, April 11-13, 2007},
  editor = {Patrick Girard and Andrzej Krasniewski and Elena Gramatová and Adam Pawlak and Tomasz Garbolino},
  publisher = {IEEE Computer Society},
  isbn = {1-4244-1161-0},
}