Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
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 2014Author of Bounded Exhaustive Test Input Generation from Hybrid Invariants within the OOPSLA-track
Show activities from other conferences

SPLASH 2014-profile
View general profile