Rafael Dutra
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | FMCAD | GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. | Rafael Dutra, Jonathan Bachrach, Koushik Sen |
| 2018 | ICCAD | SMTSampler: efficient stimulus generation from complex SMT constraints. | Rafael Dutra, Jonathan Bachrach, Koushik Sen |
| 2018 | ICSE | Efficient sampling of SAT solutions for testing. | Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen |
| 2014 | SAC | Anthropometric and human gait identification using skeleton data from Kinect sensor. | Virginia O. Andersson, Rafael Dutra, Ricardo Matsumura de Arajo |