E-mail senden E-Mail Adresse kopieren
Postdoc

Rafael Dutra

E-Mail

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Weitere Informationen

Veröffentlichungen von Rafael Dutra

Jahr 2024

2024-02-29

FormatFuzzer: Effective Fuzzing of Binary File Formats

Artikel

ACM Transactions on Software Engineering and Methodology

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2019

2019-10-25

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.

Konferenz / Medium

MWSCAS

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2018

2018-05

Efficient sampling of SAT solutions for testing.

Konferenz / Medium

International Conference on Software Engineering (ICSE)

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen
2018-01-02

SMTSampler: efficient stimulus generation from complex SMT constraints.

Konferenz / Medium

ICCAD

Tags
Erkennungs- und Verteidigungs­mechanismen
Autor:innen
Zum Paper Detail-Seite besuchen