Peter Boonstoppel

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Peter Boonstoppel, Cristian Cadar, Dawson R. Engler
RWset: Attacking Path Explosion in Constraint-Based Test Generation. TACAS (2008)