Zum Inhalt

Universität Linz Insitute for Formal Models and Verification

Linz
Oberösterreich
AUT
Partnerkategorie Universität

Projektbeteiligungen

Als Partner

SCCH

abgeschlossen 2019-2022
Software Competence Center Hagenberg
Das Software Competence Center Hagenberg (SCCH) wurde 1999 als Forschungs- und Technologieorganisation der Johannes Kepler Universität Linz (JKU) gegründet. Das SCCH beruht auf Software und Data Science und unterstützt die heimische Industrie in ihrem technologischen Wandel durch Digitalisierung und…

TASTE

laufend 2024-2026
Transformative AI-Assisted Testing in Industrial Mobile Robotics
Motivation: Das Testen hat in der Softwareentwicklung in den letzten Jahren deutlich an Bedeutung gewonnen. Mit dem Ziel, die Performanz, Sicherheit, Nutzbarkeit und Funktionalität von Software zu erhöhen, wird geprüft, ob beim Einsatz von Software Fehler oder Mängel auftreten. Da beim Testen von Software…