Login / Signup
AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers.
Wenjing Deng
Published in:
ICSE Companion (2023)
Keyphrases
</>
probabilistic model
computational model
high level
bayesian framework
conceptual framework
test generation
real time
information systems
conceptual model