Yann Oddos Katell Morin-Allory Dominique Borrione Marc Boule Zeljko Zilic MYGEN: automata-based on-line test generator for assertion-based verification. 75-80 2009 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1531542.1531563 conf/glvlsi/2009 db/conf/glvlsi/glvlsi2009.html#OddosMBBZ09