Lukás Urban

According to our database, Lukás Urban authored at least 3 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report).

Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban

CoRR, 2024

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage.

Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Fizzer: New Gray-Box Fuzzer - (Competition Contribution).

Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban

Proceedings of the Fundamental Approaches to Software Engineering, 2024