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
MirandaTesting aims to create a comprehensive methodology for testing program analyzers, which are essential for ensuring software reliability. By developing interrogation strategies, the project seeks to identify critical bugs in these analyzers, particularly in safety-critical applications, thereby enhancing their re…
Program analyzers act as guards for ensuring reliability of modern-daysoftware.
But who guards the guards themselves?
Due to their highcomplexity and sophisticated algorithms, analyzers are likely tocontain critical bugs, which we define as those leading to wrongresults, e.g., returning `correct' for incorrect software.
Such bugsmay have detrimental consequences, especially in safety-criticalsettings.
It is, therefore, imperative to be able to detect them.Verifying the absence of critical bugs i…
TECHNISCHE UNIVERSITAET WIEN
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.
