Miroslav Gavrilov

According to our database, Miroslav Gavrilov authored at least 3 papers between 2018 and 2020.

Collaborative distances:

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

2020

A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study.

Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators.

Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2018

Parameterized model counting for string and numeric constraints.

Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018