A UML model-based approach to detect infeasible paths. - Kundu, Debasish; Sarma, Monalisa; Samanta, Debasis (Journal of Systems & Software, 2015)