Login / Signup

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines.

Andrea BombardaSilvia BonfantiAngelo GargantiniMarco RadavelliFeng DuanYu Lei
Published in: ICTSS (2019)
Keyphrases
  • test generation
  • probabilistic model
  • high level
  • database
  • databases
  • artificial intelligence
  • metadata
  • multi agent
  • video sequences
  • relational databases
  • image data
  • symbolic execution