Symbolic Test Selection Based on Approximate Analysis.

Bertrand Jeannet Thierry Jéron Vlad Rusu Elena Zinovieva

Published in: TACAS (2005)

Keyphrases

statistical analysis
data analysis
automatic analysis
high level
database systems
similarity measure
search algorithm