Metabolic Activity Interferometer: A Powerful Tool for Testing Antibiotics. - 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 (J. Sensors, 2012)

Anthropometric and human gait identification using skeleton data from Kinect sensor. - Virginia O. Andersson; Rafael Dutra; Ricardo Matsumura de Araújo (SAC, 2014)

SMTSampler: efficient stimulus generation from complex SMT constraints. - Rafael Dutra; Jonathan Bachrach; Koushik Sen (ICCAD, 2018)

Efficient sampling of SAT solutions for testing. - Rafael Dutra; Kevin Laeufer; Jonathan Bachrach; Koushik Sen (ICSE, 2018)

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. - Rafael Dutra; Jonathan Bachrach; Koushik Sen (FMCAD, 2019)

Efficient Sampling of SAT and SMT Solutions for Testing and Verification. - Rafael Dutra (2019)

FormatFuzzer: Effective Fuzzing of Binary File Formats. - Rafael Dutra; Rahul Gopinath; Andreas Zeller (ACM Trans. Softw. Eng. Methodol., 2024)