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||Author of Bounded Exhaustive Test Input Generation from Hybrid Invariants within the OOPSLA-track|
|Show activities from other conferences|
View general profile