Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Miroslav Gavrilov
conf.researchr.org general profile
ESEC/FSE 2018 profile
ICST 2020 profile
Registered user since Fri 24 Aug 2018
Name:
Miroslav Gavrilov
Affiliation:
University of California at Santa Barbara, USA
Contributions
2020
ICST
Author of MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators within the Research Papers-track
2018
ESEC/FSE
Author of Parameterized Model Counting for String and Numeric Constraints within the Research Papers-track
Share
x
Wed 17 Jun 21:08