Using a constraint satisfaction formulation and solution techniques for random test program generationEyal BinRoy Emeket al.2002IBM Systems Journal