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

Browse the full ICSoft paper archive.