Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Esben Andreasen, Anders Møller, Liang Gong, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu
Journal title: ACM Computing Surveys
Journal number: 50(5)
Journal publisher: Association for Computing Machinery
Published year: 2017
DOI identifier: 10.1145/3106739
ISSN: 1557-7341