Automatic Generation of Test Cases and Test Purposes from Natural Language. - Sidney C. Nogueira; Hugo Leonardo da Silva Araujo; Renata B. S. Araujo; Juliano Iyoda; Augusto Sampaio 001 (SBMF, 2015)

A Process for Sound Conformance Testing of Cyber-Physical Systems. - Hugo Leonardo da Silva Araujo; Gustavo Carvalho; Augusto Sampaio 001; Mohammad Reza Mousavi 001; Masoumeh Taromirad (ICST Workshops, 2017)

Sound conformance testing for cyber-physical systems: Theory and implementation. - Hugo Leonardo da Silva Araujo; Gustavo Carvalho; Morteza Mohaqeqi; Mohammad Reza Mousavi 001; Augusto Sampaio 001 (Sci. Comput. Program., 2018)

Multi-objective Search for Effective Testing of Cyber-Physical Systems. - Hugo Leonardo da Silva Araujo; Gustavo Carvalho; Mohammad Reza Mousavi 001; Augusto Sampaio 001 (SEFM, 2019)

Test case generation, selection and coverage from natural language. - Sidney C. Nogueira; Hugo Leonardo da Silva Araujo; Renata B. S. Araujo; Juliano Iyoda; Augusto Sampaio 001 (Sci. Comput. Program., 2019)

Connected Automated Driving: A Model-Based Approach to the Analysis of Basic Awareness Services. - Hugo Leonardo da Silva Araujo; Ties Hoenselaar; Mohammad Reza Mousavi 001; Alexey V. Vinel (PIMRC, 2020)

Kaspar Causally Explains. - Hugo Leonardo da Silva Araujo; Patrick Holthaus; Marina Sardà Gou; Gabriella Lakatos; Giulia Galizia; Luke Jai Wood; Ben Robins; Mohammad Reza Mousavi 001; Farshid Amirabdollahian (ICSR (2), 2022)

Kaspar Explains: The Effect of Causal Explanations on Visual Perspective Taking Skills in Children with Autism Spectrum Disorder. - Marina Sardà Gou; Gabriella Lakatos; Patrick Holthaus; Ben Robins; Sílvia Moros; Luke Jai Wood; Hugo Leonardo da Silva Araujo; Christine deGraft-Hanson; Mohammad Reza Mousavi 001; Farshid Amirabdollahian (RO-MAN, 2023)

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review. - Hugo Leonardo da Silva Araujo; Mohammad Reza Mousavi 001; Mahsa Varshosaz (ACM Trans. Softw. Eng. Methodol., 2023)