Login / Signup
Brendan A. Marcellino
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Databases
Symbolic Execution
Test Generation
Top Venues
DATE
</>
Publications
</>
Brendan A. Marcellino
,
Michael S. Hsiao
Dynamic partitioning strategy to enhance symbolic execution.
DATE
(2016)