Rafael Dutra

Orcid: 0000-0002-3755-6497

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
FormatFuzzer: Effective Fuzzing of Binary File Formats.
ACM Trans. Softw. Eng. Methodol., February, 2024

2019
Efficient Sampling of SAT and SMT Solutions for Testing and Verification.
PhD thesis, 2019

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018
Efficient sampling of SAT solutions for testing.
Proceedings of the 40th International Conference on Software Engineering, 2018

SMTSampler: efficient stimulus generation from complex SMT constraints.
Proceedings of the International Conference on Computer-Aided Design, 2018

2014
Anthropometric and human gait identification using skeleton data from Kinect sensor.
Proceedings of the Symposium on Applied Computing, 2014

2012
Metabolic Activity Interferometer: A Powerful Tool for Testing Antibiotics.
J. Sensors, 2012


  Loading...