中文
相关论文

相关论文: Guiding Next-Step Hint Generation Using Automated …

200 篇论文

In computer science education, test cases are an integral part of programming assignments since they can be used as assessment items to test students' programming knowledge and provide personalized feedback on student-written code. The goal…

计算与语言 · 计算机科学 2024-02-13 Nischal Ashok Kumar , Andrew Lan

Generative AI is transforming computing education by enabling the automatic generation of personalized content and feedback. We investigate its capabilities in providing high-quality programming tasks to students. Despite promising…

As AI tools such as ChatGPT enter programming classrooms, students encounter differing rules across courses and instructors, which shape how they use AI and leave them with unequal capabilities for leveraging it. We investigate how students…

人机交互 · 计算机科学 2026-04-14 Tianyu Shao , Miguel Feijóo-García , Yi Zhang , Hugo Castellanos , Tawfiq Salem , Alejandra Magana , Tianyi Li

While state-of-the-art LLMs have shown poor logical and basic mathematical reasoning, recent works try to improve their problem-solving abilities using prompting techniques. We propose giving "hints" to improve the language model's…

计算与语言 · 计算机科学 2024-11-12 Vansh Agrawal , Pratham Singla , Amitoj Singh Miglani , Shivank Garg , Ayush Mangal

Block-based programming languages enable young learners to quickly implement fun programs and games. The Scratch programming environment is particularly successful at this, with more than 50 million registered users at the time of this…

软件工程 · 计算机科学 2020-09-10 Adina Deiner , Christoph Frädrich , Gordon Fraser , Sophia Geserer , Niklas Zantner

Programming has become an essential component of K-12 education and serves as a pathway for developing computational thinking skills. Given the complexity of programming and the advanced skills it requires, previous research has introduced…

人机交互 · 计算机科学 2024-12-13 Yunnong Chen , Shuhong Xiao , Yaxuan Song , Zejian Li , Lingyun Sun , Liuqing Chen

Recent advancements in large language models (LLMs) underscore the need for stronger reasoning capabilities to solve complex problems effectively. While Chain-of-Thought (CoT) reasoning has been a step forward, it remains insufficient for…

计算与语言 · 计算机科学 2025-07-14 Matan Vetzler , Koren Lazar , Guy Uziel , Eran Hirsch , Ateret Anaby-Tavor , Leshem Choshen

Software startups develop innovative, software-intensive product and services. This context leads to uncertainty regarding the software they are building. Experimentation, a process of testing hypotheses about the product, helps these…

软件工程 · 计算机科学 2022-04-04 Jorge Melegati , Xiaofeng Wang

Nowadays, individuals tend to engage in dialogues with Large Language Models, seeking answers to their questions. In times when such answers are readily accessible to anyone, the stimulation and preservation of human's cognitive abilities,…

计算与语言 · 计算机科学 2024-05-13 Jamshid Mozafari , Anubhav Jangra , Adam Jatowt

Block-based programming languages like Scratch enable children to be creative while learning to program. Even though the block-based approach simplifies the creation of programs, learning to program can nevertheless be challenging.…

软件工程 · 计算机科学 2021-08-16 Florian Obermüller , Lena Bloch , Luisa Greifenstein , Ute Heuer , Gordon Fraser

Immediate feedback has been shown to improve student learning. In programming courses, immediate, automated feedback is typically provided in the form of pre-defined test cases run by a submission platform. While these are excellent for…

The integration of generative AI tools like ChatGPT into software engineering workflows opens up new opportunities to boost productivity in tasks such as unit test engineering. However, these AI-assisted workflows can also significantly…

软件工程 · 计算机科学 2025-10-14 Baris Ardic , Quentin Le Dilavrec , Andy Zaidman

This article discusses a new technique to automatically generate test cases for object oriented programs. At the state of the art, the problem of generating adequate sets of complete test cases has not been satisfactorily solved yet. There…

软件工程 · 计算机科学 2020-05-20 Matteo Modonato

Prompt engineering is crucial for achieving reliable and effective outputs from large language models (LLMs), but its design requires specialized knowledge of prompting techniques and a deep understanding of target tasks. To address this…

计算与语言 · 计算机科学 2025-10-22 Yohei Ikenoue , Hitomi Tashiro , Shigeru Kuroyanagi

Unit testing is a stage of testing where the smallest segment of code that can be tested in isolation from the rest of the system - often a class - is tested. Unit tests are typically written as executable code, often in a format provided…

软件工程 · 计算机科学 2021-10-27 Afonso Fontes , Gregory Gay , Francisco Gomes de Oliveira Neto , Robert Feldt

Automatic assessment of code, in particular to support education, is an important feature included in several Learning Management Systems (LMS), at least to some extent. Several kinds of assessments can be designed, such as exercises asking…

软件工程 · 计算机科学 2019-11-28 Sébastien Combéfis , Guillaume de Moffarts

Learners are often introduced to programming via dedicated languages such as Scratch, where block-based commands are assembled visually in order to control the interactions of graphical sprites. Automated testing of such programs is an…

软件工程 · 计算机科学 2022-02-15 Katharina Götz , Patric Feldmeier , Gordon Fraser

Structural induction is a proof technique that is widely used to prove statements about discrete structures. Students find it hard to construct inductive proofs, and when learning to construct such proofs, receiving feedback is important.…

计算机科学中的逻辑 · 计算机科学 2020-03-02 Josje Lodder , Bastiaan Heeren , Johan Jeuring

Parsing (also called syntax analysis) techniques cover a substantial portion of any undergraduate Compiler Design course. We present ParseIT, a tool to help students understand the parsing techniques through question-answering. ParseIT…

编程语言 · 计算机科学 2017-02-03 Amey Karkare , Nimisha Agarwal

In the last several years, the field of computer assisted language learning has increasingly focused on computer aided question generation. However, this approach often provides test takers with an exhaustive amount of questions that are…

计算与语言 · 计算机科学 2018-08-30 Yi-Ting Huang , Meng Chang Chen , Yeali S. Sun