Finding Bugs with Specification-Based Testing is Easy!

Janice Chin David Pearce

Published in: CoRR (2021)

Keyphrases

test cases
test case generation
high level
real time
data sets
test data
artificial intelligence
multi agent
test set
software systems
development process
software testing
static analysis