The article illustrates a formal method of deriving functional test cases from use cases, including how to create a use case, derive all scenarios, and create reasonable test cases, as well as use IBM® Rational® RequisitePro for traceability from use cases to scenarios and test cases.
S. Gatti, E. Balland, and C. Consel. Fundamental Approaches to Software Engineering, volume 6603 of Lecture Notes in Computer Science, page 217--231. Springer, (2011)