中文
相关论文

相关论文: Teaching Software Testing and Debugging with the S…

200 篇论文

Digital inequality remains a significant barrier for many older adults, limiting their ability to navigate online spaces securely and confidently while increasing their susceptibility to cyber threats. In response, we propose a novel…

计算机与社会 · 计算机科学 2025-03-10 Jacob Camilleri , Ashley Sheil , Michelle O'Keeffe , Moya Cronin , Melanie Gruben , Hazel Murray

In modernity, we continually receive increasingly intricate technologies that allow us to increase our lives convenience and efficiency. Our technology, particularly technology available over the internet, is advancing at unprecedented…

密码学与安全 · 计算机科学 2023-11-29 Sean Loesch , Ryan Hrastich , Jordan Herbert , Ben Drangstveit , Jacob Weber , Mounika Vanamala

While game-based learning is widely used in programming education, few tools offer adaptive, real-time support for complex topics, such as C pointers. We present DeliverC, a GenAI-enhanced game that integrates GPT-4-mini to provide…

编程语言 · 计算机科学 2025-09-19 Wyatt Petula , Anushcka Joshi , Peggy Tu , Amrutha Somasundar , Suman Saha

When employing the Socratic method of teaching, instructors guide students toward solving a problem on their own rather than providing the solution directly. While this strategy can substantially improve learning outcomes, it is usually…

计算与语言 · 计算机科学 2023-10-06 Erfan Al-Hossami , Razvan Bunescu , Justin Smith , Ryan Teehan

What is the impact of software engineering research on current practices in industry? In this paper, I report on my direct experience as a PhD/post-doc working in software engineering research projects, and then spending the following five…

软件工程 · 计算机科学 2019-01-15 Andrea Arcuri

In recent years, Software Engineering (SE) scholars and practitioners have emphasized the importance of integrating soft skills into SE education. However, teaching and learning soft skills are complex, as they cannot be acquired passively…

软件工程 · 计算机科学 2025-02-13 Allysson Allex Araújo , Marcos Kalinowski , Maria Teresa Baldassarre

Cyberbullying among minors is a pressing concern in our digital society, necessitating effective prevention and intervention strategies. Traditional data collection methods often intrude on privacy and yield limited insights. This study…

计算机与社会 · 计算机科学 2023-09-18 Jaime Pérez , Mario Castro , Edmond Awad , Gregorio López

Gamification has been applied in software engineering to improve quality and results by increasing people's motivation and engagement. A systematic mapping has identified research gaps in the field, one of them being the difficulty of…

软件工程 · 计算机科学 2024-02-02 Óscar Pedreira , Félix García , Mario Piattini , Alejandro Cortiñas , Ana Cerdeira-Pena

Testing is a vital part of software development, and spreadsheets are like any other software in this respect. This paper discusses the testing of spreadsheets in the light of one practitioner's experience. It considers the concept of…

软件工程 · 计算机科学 2008-07-22 Louise Pryor

To enable automated software testing, the ability to automatically navigate to a state of interest and to explore all, or at least sufficient number of, instances of such a state is fundamental. When testing a computer game the problem has…

We present a case-study on teaching an undergraduate level course on Software Engineering (second year and fifth semester of bachelors program in Computer Science) at a State University (New Delhi, India) using a novel teaching instruction…

计算机与社会 · 计算机科学 2013-09-04 Ashish Sureka , Monika Gupta , Dipto Sarkar , Vidushi Chaudhary

Automated unit test generators, particularly search-based software testing tools like EvoSuite, are capable of generating tests with high coverage. Although these generators alleviate the burden of writing unit tests, they often pose…

软件工程 · 计算机科学 2024-08-22 Amirhossein Deljouyi , Roham Koohestani , Maliheh Izadi , Andy Zaidman

Teaching Unix to new students is a common tasks in many higher schools. This paper presents an approach to such course where the students progress autonomously with the help of the teacher. The traditional textbook is complemented with a…

操作系统 · 计算机科学 2011-03-10 Matthieu Moy

This paper proposes a new perspective on the conventional planar target tracking problem. One evader and one pursuer are considered in the dynamics. In the planar tracking, pursuer has the ability to measure the position and the velocity…

系统与控制 · 计算机科学 2018-01-10 Nan Yu , Chifu Yang , Miao Li

With the progress in deductive program verification research, new tools and techniques have become available to support design-by-contract reasoning about non-trivial programs written in widely-used programming languages. However, deductive…

编程语言 · 计算机科学 2021-07-14 Marieke Huisman , Raúl E. Monti

Debugging is an essential skill when learning to program, yet its instruction and emphasis often vary widely across introductory courses. In the era of code-generating large language models (LLMs), the ability for students to reason about…

软件工程 · 计算机科学 2024-11-26 Victor-Alexandru Pădurean , Paul Denny , Adish Singla

Evaluating the safety of frontier AI systems is an increasingly important concern, helping to measure the capabilities of such models and identify risks before deployment. However, it has been recognised that if AI agents are aware that…

机器学习 · 计算机科学 2025-10-01 Joel Dyer , Daniel Jarne Ornia , Nicholas Bishop , Anisoara Calinescu , Michael Wooldridge

Teaching industry staff on cybersecurity issues is a fundamental activity that must be undertaken in order to guarantee the delivery of successful and robust products to market. Much research attention has been devoted to this topic over…

软件工程 · 计算机科学 2021-01-07 Tiago Espinha Gasiba , Kristian Beckers , Santiago Suppan , Filip Rezabek

The increased use of digital devices and applications has led to a rise in phishing attacks. We develop a serious game to raise awareness about phishing attacks and help people avoid these threats in a risk-free learning environment. This…

密码学与安全 · 计算机科学 2025-01-22 Argianto Rahartomo , Ahmed Tareq Ali Ghaleb , Mohammad Ghafari

The increasing prevalence of security attacks on software-intensive systems calls for new, effective methods for detecting and responding to these attacks. As one promising approach, game theory provides analytical tools for modeling the…

软件工程 · 计算机科学 2021-12-15 Mingyue Zhang , Nianyu Li , Sridhar Adepu , Eunsuk Kang , Zhi Jin