Onward! 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
co-located with SPLASH 2014
Marcelo F. Frias

Registered user since Sun 12 Oct 2014

Name:Marcelo F. Frias
Affiliation:Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Research interests:Static analysis, SAT-solving, Bug finding, Automated test input generation, Automated program correction.


SPLASH 2014 Bounded Exhaustive Test Input Generation from Hybrid Invariants
Show activities from other conferences

SPLASH 2014-profile
View general profile