Not registered as user yet

Name: Daniel Schwartz-Narbonne

Affiliation: Amazon, n.n.

SPLASH 2017 Activities

• Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track in SPLASH 2017
• Show activities from other conferences