DSP core verification using automatic test case generation.

Tilman Glökler Stefan Bitterlich Heinrich Meyr

Published in: ICASSP (2000)

Keyphrases

test case generation
test cases
object oriented systems
signal processing
software testing
model checking
data sets
databases
real world
genetic algorithm
information systems
training data
software development
test suite