Login / Signup
Directed Test Generation for Validation of Cache Coherence Protocols.
Yangdi Lyu
Xiaoke Qin
Mingsong Chen
Prabhat Mishra
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2019)
Keyphrases
</>
test generation
test cases
symbolic execution
test sequences
design automation
static analysis
software testing
quality assurance
test data generation
mutation testing
machine learning
artificial intelligence
information systems
database systems
query language
xml schema