Covering All the Bases: Type-Based Verification of Test Input Generators.

Zhe Zhou Ashish Mishra Benjamin Delaware Suresh Jagannathan

Published in: CoRR (2023)

Keyphrases

test generation
data sets
test cases
data generator
neural network
model checking
training data
multiscale
input data
basis functions
statistical tests
signature verification
functional verification