Test generation from state based use case models

Sidney Nogueira, Augusto Sampaio, Alexandre Mota. Test generation from state based use case models. Formal Asp. Comput., 26(3):441-490, 2014. [doi]

Abstract

Abstract is missing.