A Path Construction Algorithm for Translation Validation Using PRES+ Models. - Soumyadip Bandyopadhyay; Dipankar Sarkar 001; Chittaranjan A. Mandal; Kunal Banerjee 001; Krishnam Raju Duddu (Parallel Process. Lett., 2016)