Paulo Augusto Nardi

ORCID: 0000-0002-0874-1183
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Software Testing and Debugging Techniques
  • Software System Performance and Reliability
  • Formal Methods in Verification
  • Software Engineering Research
  • Advanced Malware Detection Techniques
  • Youth, Drugs, and Violence
  • Digital Games and Media
  • Software Reliability and Analysis Research
  • Educational Games and Gamification
  • Impact of Technology on Adolescents
  • Physical Education and Sports Studies
  • Healthcare during COVID-19 Pandemic
  • Real-time simulation and control systems
  • Artificial Intelligence in Games
  • Health Education and Validation
  • Teaching and Learning Programming
  • Stroke Rehabilitation and Recovery
  • Evasion and Academic Success Factors
  • Experimental Learning in Engineering
  • Education and Digital Technologies
  • Embedded Systems Design Techniques
  • Innovative Human-Technology Interaction
  • Physical Education and Gymnastics
  • Musculoskeletal pain and rehabilitation
  • Science and Education Research

Universidade Tecnológica Federal do Paraná
2015-2024

Universidade de São Paulo
2014

Universidade Federal de São Carlos
2013

Centro Universitário Eurípedes de Marilia
2007

This paper presents an experiment with real users in a realistic three-dimensional simulation tool manufacture and installation of computer networks. The study highlights the use virtual simulators for vocational education applied technology courses, main focus on upper reaches Technology Analysis Systems Development. tests were performed microarray vitro to determine usability functionality system, behavioral which system ratio effectiveness learning. results showed that is relevant...

10.1109/tla.2017.8071236 article EN IEEE Latin America Transactions 2017-10-01

As mobile gaming is an ever-growing, competitive and profitable market, there has been increasing demand for better quality in video game software. While manual testing still a common practice among developers, some repetitive error-prone tasks could benefit from test automation. For instance, scripts that perform sanity checks of the proper functioning would be desirable ecosystem with constant hotfixes updates, as well diverse set configurations (e.g., device hardware, screensizes,...

10.1109/sbgames.2018.00015 article EN 2018-10-01

10.1007/s10515-016-0207-9 article EN Automated Software Engineering 2016-11-01

This paper presents a partially-automated solution for the definition of test oracles validating Simulink models. Since these models are widely used design embedded systems, their thorough validation is key. Errors and misunderstandings in may preclude correctness reliability final system: manual, human-intensive activity not enough, automated solutions fundamental to improve current state art. The also Apolom, prototype oracle generator, results two experiments.

10.1109/rtcsa.2013.6732234 article EN 2013-08-01

With the growth of digital games market, occurrence bugs in has a great impact and generates dissatisfaction among users. Therefore, conducting tests is necessary to avoid these events ensure quality distributed product. Among that are performed games, one particularly effective identifying from user's perspective exploratory testing, but this little covered game testing literature, not providing new testers with guides or paths be used for specific occasions. This paper reports an...

10.1145/3631085.3631227 article EN 2023-11-06

The lack of success advertising campaigns on drug use is attributed to the inappropriate language at a young audience. It believe that an approach based digital games can achieve greater because they offer attractive environment. This article aims demonstrate Digital Game developed for prevention use, with and younger people. chosen methodology was qualitative descriptive through questionnaires administered two groups in school community totaling 69 subjects. objective research ascertain how...

10.1109/fie.2017.8190441 article EN 2021 IEEE Frontiers in Education Conference (FIE) 2017-10-01

Software testing is an important and expensive activity of the software development process. Techniques tools are essential to improve test quality productivity. Structural a technique that uses characteristics such as control-flow data-flow structures derive requirements. By exercising requirements tester supposedly provides cases quality. requires several activities make use code analysis, in general performed on program source code. With advent Java it has become usual perform analysis...

10.5753/sbes.2007.21314 article EN 2007-10-15

Oracles play a key role in software testing since they state the correctness of under test. Unfortunately, many testers tend to judge their own executions, but human oracles are error-prone, slow, and very expensive. In contrast, automated usually faster, cheaper, much more reliable: proposals have addressed problem, no unique solution has emerged so far. The variety these solutions motivated survey art on test presented this paper. Besides introducing general concepts, we propose...

10.26729/jadi.v1i1.1034 article EN Journal on Advances in Theoretical and Applied Informatics 2015-10-06

With the growth of digital games market, occurrence bugs in has a significant impact and generates dissatisfaction among users. Therefore, conducting tests is necessary to avoid these events ensure quality distributed product. Among that are performed games, one particularly effective identifying from user's perspective exploratory testing, but this little covered game testing literature, not providing new testers with guides or paths be used for specific occasions. This paper reports an...

10.5753/jis.2024.4156 article EN cc-by Journal on Interactive Systems 2024-07-05

This article shows a goniometric evaluation with two softwares developed for rehabilitation of Spasmodic Torticollis (ST) distinct technologies (Virtual Reality and Augmented Reality) in low cost production. Our study was conducted 12 (twelve) people. Objective: To verify, by functional criteria (kinesiological) computational (interaction involvement), which the best technique approach ST treatment. Method: A cross-sectional method applied, analyzing removal subjects' moment compared to...

10.1109/healthcom49281.2021.9399030 article EN 2021-03-01

Este artigo apresenta um programa paraárea da fisioterapia implementado com tecnologias de controle por gestos, mapeando o corpo do paciente e rastreando exercício durante sua execução. A base seu funcionamento está no sistema validação comparação ângulos referências dos pontos corporais, modelos movimentos corretos previamente armazenados. O fornece, também, feedback evolução paciente, comparando mesmo ao longo tratamento. projeto visa a auxiliar fisioterapeuta monitoramento exercícios...

10.5753/sbcas.2017.3732 article PT 2017-07-06
Coming Soon ...