Rafael Dutra

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 5

Top Topics

Person Identification

Sampling Strategy

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Rafael Dutra, Rahul Gopinath, Andreas Zeller
FormatFuzzer: Effective Fuzzing of Binary File Formats. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Rafael Dutra, Rahul Gopinath, Andreas Zeller
FormatFuzzer: Effective Fuzzing of Binary File Formats. CoRR (2021)
Rafael Dutra, Jonathan Bachrach, Koushik Sen
GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. FMCAD (2019)
Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen
Efficient sampling of SAT solutions for testing. ICSE (2018)
Rafael Dutra, Jonathan Bachrach, Koushik Sen
SMTSampler: efficient stimulus generation from complex SMT constraints. ICCAD (2018)
Virginia O. Andersson, Rafael Dutra, Ricardo Matsumura de Araújo
Anthropometric and human gait identification using skeleton data from Kinect sensor. SAC (2014)
Rachel R. P. Machado, Elton Soares de Lima Filho, Rafael Dutra, Nádia R. Barbosa Raposo, Rafael S. Duarte, Geraldo Luiz G. Soares, Bernhard Lesche, Maria Auxiliadora C. Kaplan
Metabolic Activity Interferometer: A Powerful Tool for Testing Antibiotics. J. Sensors 2012 (2012)