Login / Signup

Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques.

Stefan HusterJonas StröbeleJürgen RufThomas KropfWolfgang Rosenstiel
Published in: ICTSS (2017)
Keyphrases
  • test generation
  • formal verification
  • symbolic execution
  • test cases
  • model checking
  • data sets
  • image processing
  • decision trees
  • statistical tests
  • signature verification
  • asynchronous circuits