Login / Signup
Industrial experience with test generation languages for processor verification.
Michael L. Behm
John M. Ludden
Yossi Lichtenstein
Michal Rimon
Michael Vinov
Published in:
DAC (2004)
Keyphrases
</>
test generation
symbolic execution
test cases
test sequences
design automation
static analysis
quality assurance
mutation testing
high speed
functional verification
code coverage
expressive power
information systems
multi agent systems
multi agent
artificial intelligence
software testing
monitoring system
data model