Yu, Tingting
Pradel, Michael
Funding for this research was provided by:
Directorate for Computer and Information Science and Engineering (CCF-1652149)
Directorate for Computer and Information Science and Engineering (CCF-1464032)
Deutsche Forschungsgemeinschaft (Emmy Noether project)
Article History
First Online: 27 November 2017