Hugo L. S. Araujo

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 5

Top Topics

Test Suite Reduction

Test Case Generation

Top Venues

Sci. Comput. Program.

Publications

Hugo L. S. Araujo, Ties Hoenselaar, Mohammad Reza Mousavi, Alexey V. Vinel
Connected Automated Driving: A Model-Based Approach to the Analysis of Basic Awareness Services. PIMRC (2020)
Hugo L. S. Araujo, Gustavo Carvalho, Mohammad Reza Mousavi, Augusto Sampaio
Multi-objective Search for Effective Testing of Cyber-Physical Systems. SEFM (2019)
Sidney C. Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
Test case generation, selection and coverage from natural language. Sci. Comput. Program. 181 (2019)
Hugo L. S. Araujo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, Augusto Sampaio
Sound conformance testing for cyber-physical systems: Theory and implementation. Sci. Comput. Program. 162 (2018)
Hugo L. S. Araujo, Gustavo Carvalho, Augusto Sampaio, Mohammad Reza Mousavi, Masoumeh Taromirad
A Process for Sound Conformance Testing of Cyber-Physical Systems. ICST Workshops (2017)
Sidney C. Nogueira, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, Augusto Sampaio
Automatic Generation of Test Cases and Test Purposes from Natural Language. SBMF (2015)