ERC Starting Grant · 2019
Learning to Find Software Bugs
Learning to Find Software Bugs Software has become the cornerstone of modern society, economy, and life. Since software is created by humans, though, every non-trivial program contains various bugs, i.e., programming errors that may have disastrous consequences. Traditional approaches to find bugs include automated bug detection tools. Such tools search for instances of bug patterns that recur across projects and application domains. However, automated bug detection currently cannot unleash its full potential because each bug detector addresses one bug pattern and one programming language, while creating new bug detectors is feasible only for program analysis experts. The objective of this…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.