1 citations · 1 across the 8 of their papers we have counts for
9 papers
What Bugs Do Prolog Students Write? An Empirical Taxonomy and Data-Driven Mutation Framework
Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Automated feedback tools for logic programming education depend on realistic bug datasets that reflect the mistakes students actually make. However, existing mutation testing frame…
"You do understand that people don't trust technology?": Explaining Trusted Execution Environments to Non-Experts
McKenna McCall, Carolina Carreira, Miguel Flores +1
Trusted Execution Environments (TEEs) protect confidentiality and integrity of trusted applications by creating an isolated environment for executing code. Prior work has shown tha…
Evidence of Cognitive Biases in Capture-the-Flag Cybersecurity Competitions
Carolina Carreira, Anu Aggarwal, Alejandro Cuevas +3
Understanding how cognitive biases influence adversarial decision-making is essential for developing effective cyber defenses. Capture-the-Flag (CTF) competitions provide an ecolog…
What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
Francisco Oliveira, Alexandra Mendes, Carolina Carreira
Software reliability is critical in ensuring that the digital systems we depend on function correctly. In software development, increasing software reliability often involves testi…
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Carolina Carreira, Álvaro Silva, Alexandre Abreu +1
Students in computing education increasingly use large language models (LLMs) such as ChatGPT. Yet, the role of LLMs in supporting cognitively demanding tasks, like deductive progr…
Can Automated Feedback Turn Students into Happy Prologians?
Ricardo Brancas, Pedro Orvalho, Carolina Carreira +2
Providing personalized feedback is essential for effective learning, but delivering it promptly can be challenging in large-scale courses. In this work, we present ProHelp, an auto…