| Efficient sampling of SAT solutions for testing R Dutra, K Laeufer, J Bachrach, K Sen Proceedings of the 40th international conference on software engineering …, 2018 | 97 | 2018 |
| Anthropometric and human gait identification using skeleton data from Kinect sensor V Andersson, R Dutra, R Araújo Proceedings of the 29th Annual ACM Symposium on Applied Computing, 60-61, 2014 | 41 | 2014 |
| SMTSampler: Efficient stimulus generation from complex SMT constraints R Dutra, J Bachrach, K Sen 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2018 | 16 | 2018 |
| FormatFuzzer: Effective Fuzzing of Binary File Formats R Dutra, R Gopinath, A Zeller ACM Transactions on Software Engineering and Methodology 33 (2), 1-29, 2023 | 8 | 2023 |
| Guidedsampler: coverage-guided sampling of SMT solutions R Dutra, J Bachrach, K Sen 2019 Formal Methods in Computer Aided Design (FMCAD), 203-211, 2019 | 6 | 2019 |
| FormatFuzzer: Effective Fuzzing of Binary File Formats. CoRR abs/2109.11277 (2021) R Dutra, R Gopinath, A Zeller arXiv preprint arXiv:2109.11277, 2021 | 5 | 2021 |
| Efficient sampling of sat solutions for testing. In 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE)(pp. 549–559) R Dutra, K Laeufer, J Bachrach, K Sen IEEE, 2018 | 5 | 2018 |
| BlindTM—a Turing machine system for secure function evaluation R Dutra, B Mehne, J Patel | 4 | 2015 |
| Efficient sampling of SAT and SMT solutions for testing and verification RT Dutra University of California, Berkeley, 2019 | 1 | 2019 |
| A função não-diferenciável de Riemann RT Dutra Universidade Federal de Minas Gerais, 2014 | | 2014 |
