Directed test generation for validation of multicore architectures.

Xiaoke Qin Prabhat Mishra

Published in: ACM Trans. Design Autom. Electr. Syst. (2012)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
static analysis
mutation testing
quality assurance
memory management
multicore processors
software testing
graphics processing units
database
data management
information technology
information systems
real world