DMutation Analysis and Constraint-Based Criteria: Results from na Empirical Evaluation in the Context of Testing Software. - Inali Wisniewski Soares; Silvia Regina Vergilio (LATW, 2002)

Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing. - Inali Wisniewski Soares; Silvia Regina Vergilio (J. Electron. Test., 2004)

Constraint based structural testing criteria. - Silvia Regina Vergilio; José Carlos Maldonado; Mário Jino; Inali Wisniewski Soares (J. Syst. Softw., 2006)

A Brazilian survey on UML and model-driven practices for embedded software development. - Luciane Telinski Wiedermann Agner; Inali Wisniewski Soares; Paulo Cézar Stadzisz; Jean Marcelo Simão (J. Syst. Softw., 2013)

Applying Black-Box Testing to Model Transformations in the Model Driven Architecture Context. - Luciane Telinski Wiedermann Agner; Inali Wisniewski Soares; Jean Marcelo Simão; Paulo Cézar Stadzisz (J. Comput. Sci., 2014)

PM-MDA: um método para o desenvolvimento de modelos de plataforma no contexto da MDA. - Inali Wisniewski Soares (2014)

Application of Platform Models in Model Driven Engineering of Embedded Software. - Inali Wisniewski Soares; Luciane Telinski Wiedermann Agner; Paulo Cézar Stadzisz; Jean Marcelo Simão (J. Comput. Sci., 2015)

MT-AMP: A Model Transformation for Embedded Software. - Luciane Telinski Wiedermann Agner; Inali Wisniewski Soares; Paulo Cézar Stadzisz; Jean Marcelo Simão (J. Softw., 2016)

Definition of Object Constraint Language Rules in Models to Support the Development of Android Applications. - Jean Carlos Hrycyk; Inali Wisniewski Soares; Luciane Telinski Wiedermann Agner (J. Comput. Sci., 2018)

Student experience with software modeling tools. - Luciane Telinski Wiedermann Agner; Timothy C. Lethbridge; Inali Wisniewski Soares (Softw. Syst. Model., 2019)