- 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...
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,...
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.
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...
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...
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...
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...
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...
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...
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...