Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits.

Farimah Farahmandi Prabhat Mishra

Published in: IEEE Trans. Computers (2019)

Keyphrases

test generation
test cases
software testing
high speed
static analysis
test sequences
symbolic execution
data sets
computer vision
software systems