Rafael Dutra

Registered user since Sun 27 May 2018

Name:Rafael Dutra
Affiliation:UC Berkeley
Research interests:Programming Languages, Testing, Verification, Security

Contributions

* ICSE 2018 * Author of Efficient Sampling of SAT Solutions for Testing within the Technical Papers -track