English
Related papers

Related papers: On Extracting Unit Tests from Interactive Programm…

200 papers

WebAssembly (abbreviated as Wasm) was initially introduced for the Web but quickly extended its reach into various domains beyond the Web. To create Wasm applications, developers can compile high-level programming languages into Wasm…

Software Engineering · Computer Science 2024-10-23 Yixuan Zhang , Mugeng Liu , Haoyu Wang , Yun Ma , Gang Huang , Xuanzhe Liu

Mob Programming, or "mobbing", is a relatively new collaborative programming practice being experimented with in different organizational contexts. There are a number of claimed benefits to this way of working, but it is not clear if these…

Software Engineering · Computer Science 2019-07-29 Jim Buchan , Mark Pearl

Memory corruption is a serious class of software vulnerabilities, which requires careful attention to be detected and removed from applications before getting exploited and harming the system users. Symbolic execution is a well-known method…

Cryptography and Security · Computer Science 2025-09-16 Sara Baradaran , Mahdi Heidari , Ali Kamali , Maryam Mouzarani

Habit extraction is essential to automate services and provide appliance usage insights in the smart home environment. However, habit extraction comes with plenty of challenges in viewing typical start and end times for particular…

Human-Computer Interaction · Computer Science 2022-09-07 Manan Choksi , Dipankar Chaki , Abdallah Lakhdari , Athman Bouguettaya

Evaluating Software testability can assist software managers in optimizing testing budgets and identifying opportunities for refactoring. In this paper, we abandon the traditional approach of pursuing testability measurements based on the…

Software Engineering · Computer Science 2021-02-23 Luca Guglielmo , Andrea Riboni , Giovanni Denaro

In this article, we explore various parallel and distributed computing topics from a user-centric software engineering perspective. Specifically, in the context of mobile application development, we study the basic building blocks of…

Software Engineering · Computer Science 2017-05-09 Konstantin Läufer , George K. Thiruvathukal

Behavior modeling and software architecture specification are attracting more attention in software engineering. Describing both of them in integrated models yields numerous advantages for coping with complexity since the models are…

Software Engineering · Computer Science 2019-07-30 Sabah Al-Fedaghi

Source code is inherently abstract, which makes it difficult to understand. Activities such as debugging can reveal concrete runtime details, including the values of variables. However, they require that a developer explicitly requests…

Software Engineering · Computer Science 2018-06-21 Matúš Sulír , Jaroslav Porubän

Significant work has been done on learning regular expressions from a set of data values. Depending on the domain, this approach can be very successful. However, significant time is required to learn these expressions and the resulting…

Databases · Computer Science 2024-03-18 Michael J. Mior

Sub-tasks of intent classification, such as robustness to distribution shift, adaptation to specific user groups and personalization, out-of-domain detection, require extensive and flexible datasets for experiments and evaluation. As…

Computation and Language · Computer Science 2021-08-17 Pavel Burnyshev , Valentin Malykh , Andrey Bout , Ekaterina Artemova , Irina Piontkovskaya

In software testing, a set of test cases is constructed according to some predefined selection criteria. The software is then examined against these test cases. Three interesting observations have been made on the current artifacts of…

Software Engineering · Computer Science 2020-03-02 T. Y. Chen , S. C. Cheung , S. M. Yiu

Context: Software Engineering research makes use of collections of software artifacts (corpora) to derive empirical evidence from. Goal: To improve quality and reproducibility of research, we need to understand the characteristics of used…

Software Engineering · Computer Science 2013-04-04 Ekaterina Pek , Ralf Lämmel

Mobile applications are being used every day by more than half of the world's population to perform a great variety of tasks. With the increasingly widespread usage of these applications, the need arises for efficient techniques to test…

Software Engineering · Computer Science 2017-09-05 Ariel Rosenfeld , Odaya Kardashov , Orel Zang

Computer Science course instructors routinely have to create comprehensive test suites to assess programming assignments. The creation of such test suites is typically not trivial as it involves selecting a limited number of tests from a…

Logic in Computer Science · Computer Science 2022-07-21 Filipe Marques , António Morgado , José Fragoso Santos , Mikoláš Janota

Recent work in behavioral testing for natural language processing (NLP) models, such as Checklist, is inspired by related paradigms in software engineering testing. They allow evaluation of general linguistic capabilities and domain…

Computation and Language · Computer Science 2024-08-09 Ying Li , Rahul Singh , Tarun Joshi , Agus Sudjianto

Unit testing is an important practice that helps ensure the quality of a software system by validating its behavior through a series of test cases. Core to these test cases are assertion statements, which enable software practitioners to…

Exceptions allow developers to handle error cases expected to occur infrequently. Ideally, good test suites should test both normal and exceptional behaviors to catch more bugs and avoid regressions. While current research analyzes…

Software Engineering · Computer Science 2026-02-06 Andre Hora , Gordon Fraser

Tests executed by human testers are still widespread in practice and fill the gap left by limitations of automated approaches. Among the human-centered approaches, exploratory testing is the de facto approach in agile teams. Although it is…

Software Engineering · Computer Science 2023-07-13 Rubens Copche , Yohan Duarte Pessanha , Vinicius Durelli , Marcelo Medeiros Eler , Andre Takeshi Endo

In software maintenance work, software architects and programmers need to identify modules that require modification or deletion. Whilst user requests and bug reports are utilised for this purpose, evaluating the execution status of modules…

Software Engineering · Computer Science 2026-03-24 Shinobu Saito

Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence…

Software Engineering · Computer Science 2018-05-03 Roberto Baldoni , Emilio Coppa , Daniele Cono D'Elia , Camil Demetrescu , Irene Finocchi