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