Symbolic Test Generation for Hierarchically Modeled Digital Systems.

P. N. Anirudhan Premachandran R. Menon

Published in: ITC (1989)

Keyphrases

test generation
design automation
machine learning
metadata
multi agent
information technology
open source
test cases
complex systems