E.: Symbolic test selection based on approximate analysis (2005)

by B Jeannet, T Jéron, V Rusu, Zinovieva