conf.researchr.org / Daniel Schwartz-Narbonne

Not registered as user yet

Name: Daniel Schwartz-Narbonne

Affiliation: Amazon, n.n.

Contributions

VMCAI 2020 PC Member in Program Committee within the VMCAI 2020-track
VMCAI 2019 Committee Member in Program Committee within the VMCAI 2019-track
ICSE 2020 Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
SPLASH 2017 Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track