Is High-Level Test Synthesis Just Design for Test?

Christian Landrault, Marie-Lise Flottes, Bruno Rouzeyre

Browse the full ITC paper archive.