A UML model-based approach to detect infeasible paths

Debasish Kundu, Monalisa Sarma, Debasis Samanta. A UML model-based approach to detect infeasible paths. Journal of Systems and Software, 107:71-92, 2015. [doi]

Abstract

Abstract is missing.