Model-based testing of software product lines: Mapping study and research roadmap. - Kleber L. Petry; Edson OliveiraJr; Avelino F. Zorzo (J. Syst. Softw., 2020)

SMartyTesting: A Model-Based Testing Approach for Deriving Software Product Line Test Sequences. - Kleber L. Petry; Edson OliveiraJr; Leandro T. Costa; Aline Zanin; Avelino F. Zorzo (ICEIS (2), 2021)

Model-Based Testing of Software Product Lines. - Kleber Lopes Petry; Edson OliveiraJr; Leandro Teodoro Costa; Aline Zanin; Avelino Francisco Zorzo (UML-Based Software Product Line Engineering with SMarty, 2023)