Constraint based structural testing criteria - Vergílio, Sílvia Regina; Maldonado, José Carlos; Jino, Mário; Soares, Inali W (The Journal of Systems and Software, 2006)