Rafael Dutra

According to our database, Rafael Dutra authored at least 7 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

FormatFuzzer: Effective Fuzzing of Binary File Formats.

Rafael Dutra, Rahul Gopinath, Andreas Zeller

ACM Trans. Softw. Eng. Methodol., February, 2024

2019

Efficient Sampling of SAT and SMT Solutions for Testing and Verification.

Rafael Dutra

PhD thesis, 2019

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.

Rafael Dutra, Jonathan Bachrach, Koushik Sen

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

Efficient sampling of SAT solutions for testing.

Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen

Proceedings of the 40th International Conference on Software Engineering, 2018

SMTSampler: efficient stimulus generation from complex SMT constraints.

Rafael Dutra, Jonathan Bachrach, Koushik Sen

Proceedings of the International Conference on Computer-Aided Design, 2018

2014

Anthropometric and human gait identification using skeleton data from Kinect sensor.

Virginia O. Andersson, Rafael Dutra, Ricardo Matsumura de Araújo

Proceedings of the Symposium on Applied Computing, 2014

2012

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