Adaptive Testing for Specification Coverage.

Ezio Bartocci Roderick Bloem Benedikt Maderbacher Niveditha Manjunath Dejan Nickovic

Published in: CoRR (2020)

Keyphrases

test case generation
test suite
high level
test cases
formal verification
database
genetic algorithm
data driven
software testing
code generation
item response theory