Login / Signup
Lukás Urban
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 3
Top Topics
Boolean Expressions
Conjunctive Queries
Inverted Lists
Technical Report
Top Venues
CoRR
FASE
TACAS (3)
</>
Publications
</>
Martin Jonás
,
Jan Strejcek
,
Marek Trtík
,
Lukás Urban
Fizzer: New Gray-Box Fuzzer - (Competition Contribution).
FASE
(2024)
Martin Jonás
,
Jan Strejcek
,
Marek Trtík
,
Lukás Urban
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage.
TACAS (3)
(2024)
Martin Jonás
,
Jan Strejcek
,
Marek Trtík
,
Lukás Urban
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report).
CoRR
(2024)