Static Analysis of Java Bytecode for Domain-specific Software Testing. - Márcio E. Delamaro; Paulo Augusto Nardi; Otávio Lemos; Paulo César Masiero; Edmundo Sérgio Spoto; José Carlos Maldonado; Auri M. R. Vincenzi (SBES, 2007)

Specifying automated oracles for Simulink models. - Paulo Augusto Nardi; Márcio Eduardo Delamaro; Luciano Baresi (RTCSA, 2013)

Oráculos de teste para modelos Simulink-like. - Paulo Augusto Nardi (2013)

Automated Test Oracles: State of the Art, Taxonomies, and Trends. - Rafael A. P. Oliveira; Upulee Kanewala; Paulo Augusto Nardi (Adv. Comput., 2015)

A serious game to support the drug misuse prevention for teenagers students. - Eduardo Filgueiras Damasceno; Paulo Augusto Nardi; Adriane Carla Anastacio Silva; Alexandre L'Erário (FIE, 2017)

Test oracles for simulink-like models. - Luciano Baresi; Márcio Eduardo Delamaro; Paulo Augusto Nardi (Autom. Softw. Eng., 2017)

Automated Tests for Mobile Games: An Experience Report. - Gabriel Lovreto; André Takeshi Endo; Paulo Augusto Nardi; Vinicius H. S. Durelli (SBGames, 2018)

A Motor Rehabilitation's Motion Range Assessment with Low-Cost Virtual Reality Serious Game. - Douglas Lopes Farias; Rafael Fernandes de Souza; Paulo Augusto Nardi; Eduardo Filgueiras Damasceno (HealthCom, 2020)

Exploratory testing strategies for video games: an experience report. - Yohan Duarte Pessanha; Vinicius H. S. Durelli; Paulo Augusto Nardi; André Takeshi Endo (SBGames, 2023)

Exploratory testing for platform video games: strategies and lessons learned. - Yohan Duarte; Henrique Canella Mandelli; Vinicius H. S. Durelli; Paulo Augusto Nardi; André Takeshi Endo (J. Interact. Syst., 2024)