Login / Signup

Korat-API: a framework to enhance korat to better support testing and reliability techniques.

Nima DiniCagdas YelenZakaria AlrmaihAmresh KulkarniSarfraz Khurshid
Published in: SAC (2018)
Keyphrases
  • decision support
  • conceptual framework
  • main contribution
  • application programming interface
  • real time
  • data sets
  • test set
  • test cases
  • theoretical framework