Send email Copy Email Address
Postdoc

Rafael Dutra

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Rafael Dutra

Year 2024

2024-02-29

FormatFuzzer: Effective Fuzzing of Binary File Formats

Article

ACM Transactions on Software Engineering and Methodology

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page

Year 2019

2019-10-25

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.

Conference / Medium

MWSCAS

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page

Year 2018

2018-05

Efficient sampling of SAT solutions for testing.

Conference / Medium

International Conference on Software Engineering (ICSE)

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page
2018-01-02

SMTSampler: efficient stimulus generation from complex SMT constraints.

Conference / Medium

ICCAD

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page