"Jalangi: a selective record-replay and dynamic analysis framework for ..."

Koushik Sen et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics