Sign in

TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage.

Rachel Tzoref-BrillSaurabh SinhaAntonio Abu NassarVictoria GoldinHaim Kermany
Published in: ICST (2022)
Keyphrases
  • test generation
  • code coverage
  • test cases
  • test sequences
  • static analysis
  • symbolic execution
  • cooperative
  • quality assurance
  • regression testing
  • design automation
  • test suite
  • software testing
  • mutation testing