Hole analysis for functional coverage dataOded LachishEitan Marcuset al.2002Proceedings - Design Automation Conference
Using a constraint satisfaction formulation and solution techniques for random test program generationEyal BinRoy Emeket al.2002IBM Systems Journal