Publications

While smartphones and mobile apps have been an integral part of our life, modern mobile apps tend to contain a lot of rarely used …

Despite significant recent advances, the effectiveness of symbolic execution is limited when used to test complex, real-world software. …

This paper presents Apex, a system that can automatically generate explanations for programming assignment bugs, regarding where the …