Cover Image

Can Automated Feedback Turn Students into Happy Prologians?

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brancas, Ricardo, Orvalho, Pedro, Carreira, Carolina, Manquinho, Vasco, Martins, Ruben
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ProDebug: An Automated Debugging System for Prolog
by: Brancas, Ricardo, et al.
Published: (2026)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
by: Brancas, Ricardo, et al.
Published: (2024)

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
by: Orvalho, Pedro, et al.
Published: (2024)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
by: Orvalho, Pedro, et al.
Published: (2024)

CUBES: A Parallel Synthesizer for SQL Using Examples
by: Brancas, Ricardo, et al.
Published: (2022)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
by: Orvalho, Pedro, et al.
Published: (2024)

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
by: Orvalho, Pedro, et al.
Published: (2022)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
by: Orvalho, Pedro, et al.
Published: (2025)

Automatic Design-Time Detection of Anomalies in Migrating Monolithic Applications to Microservices
by: Romão, Valentim, et al.
Published: (2025)

MELT: Mining Effective Lightweight Transformations from Pull Requests
by: Ramos, Daniel, et al.
Published: (2023)

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
by: Orvalho, Pedro, et al.
Published: (2025)

Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?
by: Orvalho, Pedro, et al.
Published: (2025)

SPELL: Synthesis of Programmatic Edits using LLMs
by: Ramos, Daniel, et al.
Published: (2026)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
by: Carreira, Carolina, et al.
Published: (2025)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)

A Hierarchical and Evolvable Benchmark for Fine-Grained Code Instruction Following with Multi-Turn Feedback
by: Duan, Guoliang, et al.
Published: (2025)

Automated Assessment in Mobile Programming Courses: Leveraging GitHub Classroom and Flutter for Enhanced Student Outcomes
by: Alves, Pedro, et al.
Published: (2025)

Fine-Tuning Models for Automated Code Review Feedback
by: Kumar, Smitha S, et al.
Published: (2026)

Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models
by: Yang, Aidan Z. H., et al.
Published: (2024)

A Survey on Feedback Types in Automated Programming Assessment Systems
by: Frankford, Eduard, et al.
Published: (2025)

Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps
by: Wang, Dingbang, et al.
Published: (2024)

Autonomous LLM-generated Feedback for Student Exercises in Introductory Software Engineering Courses
by: Metzger, Andreas
Published: (2026)

GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback
by: Yan, Wenqi, et al.
Published: (2025)

RITA: A Tool for Automated Requirements Classification and Specification from Online User Feedback
by: Mallya, Manjeshwar Aniruddh, et al.
Published: (2026)

RedCoder: Automated Multi-Turn Red Teaming for Code LLMs
by: Mo, Wenjie Jacky, et al.
Published: (2025)

Quality in model-driven engineering: a tertiary study
by: Goulão, Miguel, et al.
Published: (2025)

Requirements for Organizational Resilience: Engineering Developer Happiness
by: Borg, Markus, et al.
Published: (2024)

On the Automated Processing of User Feedback
by: Maalej, Walid, et al.
Published: (2024)

Factors Influencing Performance of Students in Software Automated Test Tools Course
by: Haldar, Susmita, et al.
Published: (2024)

A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
by: Kulsum, Ummay, et al.
Published: (2024)

Can User Feedback Help Issue Detection? An Empirical Study on a One-billion-user Online Service System
by: Jiang, Shuyao, et al.
Published: (2025)

Improving the Developer Experience with a Low-Code Process Modelling Language
by: Henriques, Henrique, et al.
Published: (2025)

The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges
by: Carreira, Carolina, et al.
Published: (2025)

Cracking the Code: Evaluating Zero-Shot Prompting Methods for Providing Programming Feedback
by: Ippisch, Niklas, et al.
Published: (2024)

RePair: Automated Program Repair with Process-based Feedback
by: Zhao, Yuze, et al.
Published: (2024)

You Can REST Now: Automated REST API Documentation and Testing via LLM-Assisted Request Mutations
by: Decrop, Alix, et al.
Published: (2024)

Can AI Generate more Comprehensive Test Scenarios? Review on Automated Driving Systems Test Scenario Generation Methods
by: Zhou, Ji, et al.
Published: (2025)

How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool?
by: Kurniawan, Oka, et al.
Published: (2023)

From Feedback to Failure: Automated Android Performance Issue Reproduction
by: Li, Zhengquan, et al.
Published: (2025)

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
by: Si, Yuan, et al.
Published: (2025)