C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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