Implementation-Independent Functional Test Generation for MSC Microprocessors.

Adeboye Stephen Oyeniran Raimund Ubar Maksim Jenihhin Jaan Raik

Published in: VLSI-SoC (2019)

Keyphrases

test generation
test cases
test sequences
design automation
instruction set
symbolic execution
data sets
information systems
quality assurance
mutation testing
computer vision
high level
open source
software testing