Login / Signup
Bruno V. Zimpel
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Belief Propagation
Symbolic Execution
Parallel Architecture
Shared Memory
Top Venues
DATE
</>
Publications
</>
Nícolas Pfeifer
,
Bruno V. Zimpel
,
Gabriel A. G. Andrade
,
Luiz C. V. dos Santos
A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification.
DATE
(2020)