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.
M. Mirakhorli, and J. Cleland-Huang. Proceedings of the 6th International Workshop on SHAring and Reusing Architectural Knowledge, page 45--52. New York, NY, USA, ACM, (2011)