Sign in

Finding Bugs with Specification-Based Testing is Easy!

Janice ChinDavid Pearce
Published in: Art Sci. Eng. Program. (2021)
Keyphrases
  • test cases
  • formal verification
  • test case generation
  • software systems
  • high level
  • data sets
  • neural network
  • face recognition
  • multi agent
  • relational databases
  • learning objects
  • source code
  • root cause