Combined Constraint-Based Analysis for Efficient Software Regression Detection in Evolving Programs. - Anh D. Le; Tho T. Quan; Nguyen T. Huynh; Phung H. Nguyen; Nhat-Van Le (ICSOFT (Selected Papers), 2011)