Login / Signup

Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker.

Eduard Paul EnoiuDaniel SundmarkPaul Pettersson
Published in: ICST Workshops (2013)
Keyphrases
  • test suite
  • model checker
  • test cases
  • regression testing
  • test suite reduction
  • software testing
  • databases
  • learning algorithm
  • model checking
  • xml documents
  • knowledge based systems
  • test set