• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Symbolic Test Selection Based on Approximate Analysis.

Bertrand JeannetThierry JéronVlad RusuElena Zinovieva
Published in: TACAS (2005)
Keyphrases
  • statistical analysis
  • data analysis
  • automatic analysis
  • high level
  • database systems
  • similarity measure
  • search algorithm