Sign in

Modeling Unknown Values in Test and Verification.

Bernd BeckerMatthias SauerChristoph SchollRalf Wimmer
Published in: SyDe Summer School (2015)
Keyphrases
  • test generation
  • test cases
  • reinforcement learning
  • test statistic
  • colored petri nets
  • database
  • information retrieval
  • search engine
  • website
  • data structure
  • training set
  • software engineering