Projects per year
Abstract
Software bugs cost time, money, and lives. They drive software research and development efforts, and are central to modern software engineering. Yet we lack a clear and general definition of what bugs are. Some bugs are defects, clearly defined as failures to meet some requirement or specification. However,there are many forms of undesirable program behaviour that are completely compatible with a typical program’s specification. In this paper, we argue that the lack of a criterion for identifying non-defect bugs is hampering the development of tools that find and fix bugs. We propose such a criterion, based on the idea of wasted effort, discuss how bugs that meet our definition of software ticks can complement defects, and sketch how our definition can help future work on software tools.
Original language | English |
---|---|
Title of host publication | Proceedings of the 43rd International Conference on Software Engineering |
Publisher | IEEE - Institute of Electrical and Electronics Engineers Inc. |
DOIs | |
Publication status | Published - 2021 |
Event | 43rd International Conference on Software Engineering: Software Engineering in Practice, ICSE 2021 - Virtual Duration: 2021 May 23 → 2021 May 29 |
Conference
Conference | 43rd International Conference on Software Engineering: Software Engineering in Practice, ICSE 2021 |
---|---|
City | Virtual |
Period | 2021/05/23 → 2021/05/29 |
Subject classification (UKÄ)
- Computer Sciences
Fingerprint
Dive into the research topics of 'Software Ticks Need No Specifications'. Together they form a unique fingerprint.Projects
- 1 Finished
-
WASP startup package Christoph Reichenbach
Reichenbach, C. (Researcher)
2017/10/16 → 2021/10/15
Project: Research