English
Related papers

Related papers: Automated Test Generation for Scratch Programs

200 papers

Creating programs with block-based programming languages like Scratch is easy and fun. Block-based programs can nevertheless contain bugs, in particular when learners have misconceptions about programming. Even when they do not, Scratch…

Software Engineering · Computer Science 2021-02-23 Gordon Fraser , Ute Heuer , Nina Körber , Florian Obermüller , Ewald Wasmeier

Computing students increasingly rely on generative AI tools for programming assistance, often without formal instruction or guidance. This highlights a need to teach students how to effectively interact with AI models, particularly through…

Computers and Society · Computer Science 2025-09-15 Victor-Alexandru Pădurean , Paul Denny , Alkis Gotovos , Adish Singla

Automatic evaluation of generative tasks using large language models faces challenges due to ambiguous criteria. Although automatic checklist generation is a potentially promising approach, its usefulness remains underexplored. We…

Computation and Language · Computer Science 2025-08-22 Momoka Furuhashi , Kouta Nakayama , Takashi Kodama , Saku Sugawara

Proof Blocks is a software tool which enables students to write proofs by dragging and dropping prewritten proof lines into the correct order. These proofs can be graded completely automatically, enabling students to receive rapid feedback…

Computers and Society · Computer Science 2022-05-06 Seth Poulsen , Mahesh Viswanathan , Geoffrey L. Herman , Matthew West

Monitoring in-class programming exercises can help instructors identify struggling students and common challenges. However, understanding students' progress can be prohibitively difficult, particularly for multi-faceted problems that…

Human-Computer Interaction · Computer Science 2026-02-02 Yinuo Yang , Ashley Ge Zhang , Steve Oney , April Yi Wang

Game-like programs have become increasingly popular in many software engineering domains such as mobile apps, web applications, or programming education. However, creating tests for programs that have the purpose of challenging human…

Software Engineering · Computer Science 2022-08-30 Patric Feldmeier , Gordon Fraser

In this paper, we present Scratch Community Blocks, a new system that enables children to programmatically access, analyze, and visualize data about their participation in Scratch, an online community for learning computer programming. At…

Human-Computer Interaction · Computer Science 2017-02-03 Sayamindu Dasgupta , Benjamin Mako Hill

Visual programming environments are increasingly part of the curriculum in schools. Their potential for promoting creative thinking of students is an important factor in their adoption. However, there does not exist a standard approach for…

Human-Computer Interaction · Computer Science 2020-04-14 Anastasia Kovalkov , Avi Segal , Kobi Gal

Implementing automated unit tests is an important but time-consuming activity in software development. To assist developers in this task, many techniques for automating unit test generation have been developed. However, despite this effort,…

Software Engineering · Computer Science 2025-01-16 Rangeet Pan , Myeongsoo Kim , Rahul Krishna , Raju Pavuluri , Saurabh Sinha

The prevalence of software systems has become an integral part of modern-day living. Software usage has increased significantly, leading to its growth in both size and complexity. Consequently, software development is becoming a more…

Software Engineering · Computer Science 2023-06-07 Tiago Dias , Arthur Batista , Eva Maia , Isabel Praça

This paper describes the design and evaluation of DSAScratch, an extension to Scratch, a widely used block-based programming language. The DSAScratch framework implements advanced data structures such as arrays, sets, dictionaries, and…

Human-Computer Interaction · Computer Science 2023-02-28 Ashwin Jagadeesha , Pranathi Rayavaram , Justin Marward , Sashank Narain , Claire Seungeun Lee

We can never be certain that a software system is correct simply by testing it, but with every additional successful test we become less uncertain about its correctness. In absence of source code or elaborate specifications and models,…

Software Engineering · Computer Science 2016-08-11 Neil Walkinshaw , Gordon Fraser

Programming students have a widespread access to powerful Generative AI tools like ChatGPT. While this can help understand the learning material and assist with exercises, educators are voicing more and more concerns about an overreliance…

Human-Computer Interaction · Computer Science 2025-02-24 Christian Rahe , Walid Maalej

In this paper, I describe a platform for sharing programmable media on the web called ScratchR. As the backbone of an on-line community of creative learners, ScratchR will give members access to an audience and inspirational ideas from each…

Human-Computer Interaction · Computer Science 2015-07-07 Andrés Monroy-Hernández

Search Based Software Testing (SBST) is a popular automated testing technique which uses a feedback mechanism to search for faults in software. Despite its popularity, it has fundamental challenges related to the design, construction and…

Software Engineering · Computer Science 2020-07-01 Leonid Joffe , David J. Clark

Documenting the functionality of software units with code comments, e.g., Javadoc comments, is a common programmer best-practice in software engineering. This paper introduces a novel test generation technique that exploits the code-comment…

Software Engineering · Computer Science 2025-05-01 Giovanni Denaro , Luca Guglielmo

We study the problem of generating source code in a strongly typed, Java-like programming language, given a label (for example a set of API calls or types) carrying a small amount of information about the code that is desired. The generated…

Programming Languages · Computer Science 2018-04-16 Vijayaraghavan Murali , Letao Qi , Swarat Chaudhuri , Chris Jermaine

Our ongoing development and deployment of an online robotics education platform highlighted a gap in providing an interactive, feedback-rich learning environment essential for mastering programming concepts in robotics, which they were not…

Robotics · Computer Science 2024-05-21 Ponkoj Chandra Shill , David Feil-Seifer , Jiullian-Lee Vargas Ruiz , Rui Wu

Games are usually created incrementally, requiring repeated testing of the same scenarios, which is a tedious and error-prone task for game developers. Therefore, we aim to alleviate this game testing process by encapsulating it into a game…

Software Engineering · Computer Science 2023-10-31 Patric Feldmeier , Philipp Straubinger , Gordon Fraser

Blocks-based programming has become the lingua franca for introductory coding. Studies have found that experience with blocks-based programming can help beginners learn more traditional text-based languages. We explore how blocks…

Programming Languages · Computer Science 2018-06-27 David Bau , Jeff Gray , Caitlin Kelleher , Josh Sheldon , Franklyn Turbak