SPLASH 2014 (series) / 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.
Contributions
| SPLASH 2014 | Bounded Exhaustive Test Input Generation from Hybrid Invariants | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2014-profile
View general profile
View general profile