Nowadays there is a great interest in IoT systems and many applications take advantage of this technology. The elicitation, specification and management of requirements for IoT …
Internet of Things (IoT) is a paradigm that allows composing systems from objects equipped with identification, sensing or acting behaviors in addition to processing capabilities, which …
BP de Souza, RC Motta, D de O. Costa… - Proceedings of the XVIII …, 2019 - dl.acm.org
Context: Software inspection is a static and formal verification technique that aims to detect defects in the earlier stage of software development. Both academic and industrial …
The IoT paradigm seeks to support practical solutions to solve problems in the real world and several domains such as education, health, and mobility. As with traditional systems …
VG Ferreira, CG Herrera, S Souza, RR Santos… - Proceedings of the 8th …, 2023 - dl.acm.org
Software testing is a fundamental activity of the broader software engineering process. Internet of Things (IoT) testing activities present unique characteristics that make their …
M Wakimoto, S Morisaki - IEEE Access, 2022 - ieeexplore.ieee.org
Some software requirements are omitted or ambiguous depending on the design context, although these requirements would not necessarily be omitted or ambiguous when viewed …
GR Bai, K Presler-Marshall, TW Price… - Proceedings of the 27th …, 2022 - dl.acm.org
Software testing is an essential skill for computer science students. Prior work reports that students desire support in determining what code to test and which scenarios should be …
M Wakimoto, S Morisaki - Software, 2022 - mdpi.com
Previous studies reported that reviewers ask questions and engage in discussions during software reviews and that the concerns identified by the questions and discussions help …
Título do Trabalho Page 1 SCENARIOTCHECK: UMA TÉCNICA DE LEITURA BASEADA EM CHECKLIST PARA VERIFICAÇÃO DE CENÁRIOS IOT Bruno Pedraça de Souza Dissertação de …