Login / Signup

Model-Based Testing for Verification Back-Ends.

Cyrille ArthoArmin BiereMartina Seidl
Published in: TAP@STAF (2013)
Keyphrases
  • model based testing
  • test cases
  • software development
  • test generation
  • software design
  • software testing
  • model checking
  • security policies
  • testing process
  • data sets
  • software engineering
  • test data
  • case study
  • test set