Login / Signup

Automata based test generation with SpecPro.

Simone VuottoMassimo NarizzanoLuca PulinaArmando Tacchella
Published in: RET@ICSE (2019)
Keyphrases
  • test generation
  • test cases
  • symbolic execution
  • test sequences
  • design automation
  • static analysis
  • quality assurance
  • software testing
  • mutation testing
  • test data generation
  • code coverage
  • image quality