Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Gavrilov, Miroslav
3  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

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

, In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),
Dewey, Kyle ; Hairapetian, Shant ; Gavrilov, Miroslav - p. 51-62 , 2020
Link: https://doi.org/10.1109/..
 
?
2

A Practical, Principled Measure of Fuzzer Appeal: A Prelimi..:

, In: 2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS),
Gavrilov, Miroslav ; Dewey, Kyle ; Groce, Alex.. - p. 510-517 , 2020
Link: https://doi.org/10.1109/..
 
?
3

Parameterized model counting for string and numeric constra..:

, In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Aydin, Abdulbaki ; Eiers, William ; Bang, Lucas... - p. 400-410 , 2018
Link: https://dl.acm.org/doi/1..
 
1-3