Login / Signup

Specify and measure, cover and reveal: A unified framework for automated test generation.

Sébastien BardinNikolai KosmatovMichaël MarcozziMickaël Delahaye
Published in: Sci. Comput. Program. (2021)
Keyphrases
  • test generation
  • test cases
  • symbolic execution
  • test sequences
  • design automation
  • quality assurance
  • static analysis
  • distance measure
  • computer aided
  • database systems
  • similarity measure
  • software testing