Evaluation of LLM Tools for Feedback Generation in a Course on Concurrent Programming

I Estévez-Ayres, P Callejo… - International Journal of …, 2024 - Springer
Abstract The emergence of Large Language Models (LLMs) has marked a significant
change in education. The appearance of these LLMs and their associated chatbots has …

Towards a unified catalog of attributes to guide industry in software testing technique selection

I Santos, SM Melo, PSL de Souza… - … on Software Testing …, 2020 - ieeexplore.ieee.org
[Context] The correct selection of a software testing technique can positively influence the
quality of the software in development. In previous work, a mapping study was conducted to …

An experimental evaluation of tools for grading concurrent programming exercises

M Barros, M Ramos, A Gomes, A Cunha… - … Conference on Formal …, 2023 - Springer
Automatic grading based on unit tests is a key feature of massive open online courses
(MOOC) on programming, as it allows instant feedback to students and enables courses to …

SeleCTT: An infrastructure for selection of concurrent software testing techniques

SM Melo, FM Moura, PSL Souza… - Proceedings of the IV …, 2019 - dl.acm.org
[Background]: A variety of software testing techniques have been published by the academia
in the last years, however, the industry rarely embraces their use. The transference of …

Promoting secondary orders of event pairs in randomized scheduling using a randomized stride

M Abdelrasoul - … 32nd IEEE/ACM International Conference on …, 2017 - ieeexplore.ieee.org
Because of the wide use of randomized scheduling in concurrency testing research, it is
important to understand randomized scheduling and its limitations. This work analyzes how …

Performance Evaluation of Data Race Detection Based on Thread Sharing Analysis With Different Granularities: An Empirical Study

L Bo, S Jiang, J Qian, R Wang, Y Yao - IEEE Access, 2019 - ieeexplore.ieee.org
Thread Sharing Analysis (TSA) plays an important role in concurrent program testing.
Providing a TSA to a data race detector may speed up the runtime logging and improve the …

Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation

SM Melo, SRS de Souza, FS Sarmanho… - Software Quality …, 2018 - Springer
Concurrent software testing is a challenging activity due to factors that are not present in
sequential programs, such as communication, synchronization, and non-determinism, and …

An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises

JO Pereira, PS Almeida, A Cunha - Formal Techniques for Distributed …, 2023 - Springer
Automatic grading based on unit tests is a key feature of massive open online courses
(MOOC) on programming, as it allows instant feedback to students and enables courses to …

[PDF][PDF] Efficiency Improvements in the Quality Assurance Process for Data Races

DWIA Klaus - kluedo.ub.rptu.de
As the usage of concurrency in software has gained importance in the last years, and is still
rising, new types of defects increasingly appeared in software. One of the most prominent …

Achievements, Challenges and Opportunities on Mutation Testing of Concurrent Programs

R Silva, S de Souza - Escola Regional de Engenharia de Software …, 2018 - sol.sbc.org.br
With the increasing advances in the hardware technology and the massive presence of
multicore processors in personal computers, concurrent programming has been becoming …