CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The S3 project focuses on automating software testing and debugging through the development of intelligent bots. It addresses the challenge of creating reliable specifications for software behavior, enabling automated test generation and monitoring to enhance software reliability and efficiency.
*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. B…
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
