SPLASH 2014 (series) / Marcelo F. Frias
![Marcelo F. Frias](https://2014.splashcon.org/getProfileImage/marceloffrias/72e97576-e946-46b4-95d8-95c1f87cc43c/small.jpg?1717839823000)
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-profile
View general profile
View general profile