ERC Advanced Grant · 2022
*What if we had software bots that tirelessly test, debug, and monitor our software systems?* IT workers are expensive and scarce. So why can't we further automate boring, repetitive activities such as testing and debugging? The problem is that we lack computer-readable _specifications_ (so-called _oracles_) for what the system should do or not do. For decades, this _oracle problem_ has been a roadblock to automated test generation, trusted software repairs, and accurate monitoring of software. Building on groundbreaking research to infer input languages of systems, S3 introduces a unified approach to _learning oracles automatically_. It takes a given software system; _infers_ and _decodes_…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.
← All labs at Helmholtz Center for Information Security (CISPA)