Sign in
Finding Bugs with Specification-Based Testing is Easy!
Janice Chin
David 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