A lightweight approach to software validation by comparing UML use cases with internal program documentation selected via call graphs. - Owen Funkhouser; Letha H. Etzkorn; William E. Hughes Jr. (Softw. Qual. J., 2008)