Login / Signup

Safety-complete test suites.

Wen-ling HuangSadik ÖzoguzJan Peleska
Published in: Softw. Qual. J. (2019)
Keyphrases
  • test suite
  • test suite reduction
  • test cases
  • regression testing
  • static analysis
  • data sets
  • model checker
  • java programs
  • mutation testing
  • machine learning
  • case study
  • video sequences
  • error rate
  • test case generation