%O Report %F jeannet04a %A Jeannet, B. %A JÚron, T. %A Rusu, V. %A Zinovieva, E. %T Symbolic Test Selection Based on Approximate Analysis %N 0 %I IRISA %U ftp://ftp.irisa.fr/techreports/2004/PI-1649.ps.gz %8 October %D 2004