@article{article82e5af46,
title   = {Model-based test case generation from UML sequence diagrams using extended finite state machines},
author = {Rocha, Mauricio Rego Mota da and Simão, Adenilso da Silva and Sousa, Thiago},
year = {2021},
doi = {10.1007/s11219-020-09531-0},
journal   = {Software Quality Journal}
}