Miroslav Gavrilov

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Propositional Formulas

Test Case Selection

Practical Application

Top Venues

ESEC/SIGSOFT FSE

Publications

Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators. ICST (2020)
Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf
A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. QRS (2020)
Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu
Parameterized model counting for string and numeric constraints. ESEC/SIGSOFT FSE (2018)