Proceedings of the Fifteenth European Conference on Computer Systems

Liu, Yingtong, Hsin-Wei Hung, and Ardalan Amiri Sani. (2020). Mousse: a system for selective symbolic execution of programs with untamed environments. Proceedings of the Fifteenth European Conference on Computer Systems, pp. 1-15.