中文
相关论文

相关论文: A Knowledge-based Automated Debugger in Learning S…

200 篇论文

Knowledge-based systems reason over some knowledge base. Hence, an important issue for such systems is how to acquire the knowledge needed for their inference. This paper assesses active learning methods for acquiring knowledge for "static…

软件工程 · 计算机科学 2020-10-23 Xueqi Yang , Zhe Yu , Junjie Wang , Tim Menzies

Machine Learning approaches are good in solving problems that have less information. In most cases, the software domain problems characterize as a process of learning that depend on the various circumstances and changes accordingly. A…

软件工程 · 计算机科学 2015-06-26 Saiqa Aleem , Luiz Fernando Capretz , Faheem Ahmed

Recently, e-learning platforms have grown as a place where students can post doubts (as a snap taken with smart phones) and get them resolved in minutes. However, the significant increase in the number of student-posted doubts with high…

机器学习 · 计算机科学 2022-08-23 Vedant Sandeep Joshi , Sivanagaraja Tatinati , Yubo Wang

The use of deep learning techniques has achieved significant progress for program synthesis from input-output examples. However, when the program semantics become more complex, it still remains a challenge to synthesize programs that are…

机器学习 · 计算机科学 2020-10-23 Kavi Gupta , Peter Ebert Christensen , Xinyun Chen , Dawn Song

Natural language elements in source code, e.g., the names of variables and functions, convey useful information. However, most existing bug detection tools ignore this information and therefore miss some classes of bugs. The few existing…

软件工程 · 计算机科学 2018-05-31 Michael Pradel , Koushik Sen

Computational notebooks became indispensable tools for research-related development, offering unprecedented interactivity and flexibility in the development process. However, these benefits come at the cost of reproducibility and an…

机器学习 · 计算机科学 2024-10-21 Konstantin Grotov , Artem Borzilov , Maksim Krivobok , Timofey Bryksin , Yaroslav Zharov

Plagiarism is a burning problem that academics have been facing in all of the varied levels of the educational system. With the advent of digital content, the challenge to ensure the integrity of academic work has been amplified. This paper…

其他计算机科学 · 计算机科学 2012-08-14 Nitish Upreti

MLIR (Multi-Level Intermediate Representation) compiler infrastructure provides an efficient framework for introducing a new abstraction level for programming languages and domain-specific languages. It has attracted widespread attention in…

软件工程 · 计算机科学 2025-04-03 Chenyao Suo , Jianrong Wang , Yongjia Wang , Jiajun Jiang , QingChao Shen , Junjie Chen

Context: Learning-based automatic program repair techniques are showing promise to provide quality fix suggestions for detected bugs in the source code of the software. These tools mostly exploit historical data of buggy and fixed code…

软件工程 · 计算机科学 2020-10-07 Faria Huq , Masum Hasan , Mahim Anzum Haque Pantho , Sazan Mahbub , Anindya Iqbal , Toufique Ahmed

Open-ended tasks, such as coding problems that are common in computer science education, provide detailed insights into student knowledge. However, training large language models (LLMs) to simulate and predict possible student errors in…

机器学习 · 计算机科学 2026-05-19 Zhangqi Duan , Nigel Fernandez , Andrew Lan

Many researchers have studied the behaviour of successful developers while debugging desktop software. In this paper, we investigate the embedded-software debugging by intermediate programmers through an exploratory study. The bugs are…

软件工程 · 计算机科学 2017-04-12 Pansy Arafa , Daniel Solomon , Samaneh Navabpour , Sebastian Fischmeister

Broad application of answer set programming (ASP) for declarative problem solving requires the development of tools supporting the coding process. Program debugging is one of the crucial activities within this process. Recently suggested…

人工智能 · 计算机科学 2014-10-29 Kostyantyn Shchekotykhin

This paper proposes a self-explainable Deep Learning (SE-DL) system for an image classification problem that performs self-error detection. The self-error detection is key to improving the DL system's safe operation, especially in…

计算机视觉与模式识别 · 计算机科学 2022-11-01 Mohammad Mahdi Karimi , Azin Heidarshenas , William W. Edmonson

Students sometimes produce code that works but that its author does not comprehend. For example, a student may apply a poorly-understood code template, stumble upon a working solution through trial and error, or plagiarize. Similarly,…

计算机与社会 · 计算机科学 2021-07-06 Teemu Lehtinen , André L. Santos , Juha Sorva

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

Algorithmic debugging is a semi-automatic debugging technique that allows the programmer to precisely identify the location of bugs without the need to inspect the source code. The technique has been successfully adapted to all paradigms…

软件工程 · 计算机科学 2011-07-27 David Insa , Josep Silva

In the modern world, we are permanently using, leveraging, interacting with, and relying upon systems of ever higher sophistication, ranging from our cars, recommender systems in e-commerce, and networks when we go online, to integrated…

人工智能 · 计算机科学 2023-06-23 Patrick Rodler

Modern automated program repair (APR) is well-tuned to finding and repairing bugs that introduce observable erroneous behavior to a program. However, a significant class of bugs does not lead to such observable behavior (e.g.,…

软件工程 · 计算机科学 2022-11-09 Omar I. Al-Bataineh , Leon Moonen

Bugs in learners' programs are often the result of fundamental misconceptions. Teachers frequently face the challenge of first having to understand such bugs, and then suggest ways to fix them. In order to enable teachers to do so…

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

Debugging ML software (i.e., the detection, localization and fixing of faults) poses unique challenges compared to traditional software largely due to the probabilistic nature and heterogeneity of its development process. Various methods…

软件工程 · 计算机科学 2025-03-06 Thanh-Dat Nguyen , Haoye Tian , Bach Le , Patanamon Thongtanunam , Shane McIntosh