Nico Rosner - SPLASH 2014 (original) (raw)

Registered user since Sun 12 Oct 2014

Name:Nico Rosner

Affiliation:Dept. of Computer Science FCEyN, University of Buenos Aires

Contributions

2014

SPLASH

• Bounded Exhaustive Test Input Generation from Hybrid Invariants

Show activities from other conferences

Share