Detecting semantic merge conflicts with variability-aware execution. - Hung Viet Nguyen; My Huu Nguyen; Son Cuu Dang; Christian Kästner; Tien N. Nguyen (ESEC/SIGSOFT FSE, 2015)