Login / Signup
Automated test generation for Debugging arithmetic circuits.
Farimah Farahmandi
Prabhat Mishra
Published in:
DATE (2016)
Keyphrases
</>
test generation
software testing
test cases
symbolic execution
design automation
test sequences
mutation testing
quality assurance
static analysis
test data generation
high speed
circuit design
database
model based diagnosis
software development
source code
high quality
high level