Mousse: a system for selective symbolic execution of programs with untamed environments.

Yingtong Liu, Hsin-Wei Hung, Ardalan Amiri Sani

Browse the full EuroSys paper archive.