Symbolic test selection based on approximate analysis (2005)

by B Jeannet, T Jéron, V Rusu, E Zinovieva
Venue:of Lecture Notes in Computer Science