Hugo Leonardo da Silva Araujo

According to our database, Hugo Leonardo da Silva Araujo authored at least 9 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review.

Hugo Leonardo da Silva Araujo, Mohammad Reza Mousavi, Mahsa Varshosaz

ACM Trans. Softw. Eng. Methodol., April, 2023

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, Farshid Amirabdollahian

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

2022

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, Farshid Amirabdollahian

Proceedings of the Social Robotics - 14th International Conference, 2022

2020

Connected Automated Driving: A Model-Based Approach to the Analysis of Basic Awareness Services.

Hugo Leonardo da Silva Araujo, Ties Hoenselaar, Mohammad Reza Mousavi, Alexey V. Vinel

Proceedings of the 31st IEEE Annual International Symposium on Personal, 2020

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

Sci. Comput. Program., 2019

Multi-objective Search for Effective Testing of Cyber-Physical Systems.

Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2018

Sound conformance testing for cyber-physical systems: Theory and implementation.

Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio

Sci. Comput. Program., 2018

2017

A Process for Sound Conformance Testing of Cyber-Physical Systems.

Hugo Leonardo da Silva Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015

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

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015