AMS Test Vector Generation using AMS Verification and IEEE P1687.2.

Vladimir A. Zivkovic Michele Palazzi Ming Chuen Alvan Lam Mogens Isager

Published in: ETS (2022)

Keyphrases

test generation
test cases
database
model checking
test data
real world
software development
databases
neural network
website
case study
feature vectors
test suite
signature verification
formal verification
functional verification