Wissenschaftliche Keynote: Maria Christakis

Keynote: “Systematic Testing for Complex Systems in the Absence of Oracles”

Many modern software systems operate in domains where precise specifications are unavailable and reliable test oracles are difficult or impossible to obtain. This is particularly true for systems such as program analyzers, cryptographic proof systems, and machine-learning models, whose correctness depends on complex semantics or learned behavior.

This keynote explores how metamorphic testing enables systematic testing in the absence of traditional oracles by checking necessary relations across multiple executions rather than individual outputs. Drawing on experience from testing program analyzers, zero-knowledge proof systems, and machine-learning models, the talk highlights the effectiveness of metamorphic testing across diverse settings. Beyond individual techniques and tools, the keynote distills general lessons on how to reason about correctness when specifications are incomplete, relational, or implicit, and how rigorous testing remains possible even when classical notions of correctness are difficult to apply.

Programm

•  Wissenschaftliches Programm, Mittwoch, 09:00 – 10:00 (siehe  Programm)

Bio

 Maria Christakis ist ordentliche Professorin an der TU Wien, wo sie die Forschungsgruppe für Softwaretechnik leitet. Ihre Arbeit konzentriert sich auf die Entwicklung innovativer Techniken und Werkzeuge zum Schreiben, Spezifizieren, Verifizieren, Analysieren, Testen und Debuggen von Software. Ihr Ziel ist es, Programme robuster zu machen und gleichzeitig die Entwicklerinnen- und Entwicklererfahrung zu verbessern.

Bevor sie 2022 an die TU Wien kam, forschte Maria am Max-Planck-Institut für Softwaresysteme (Deutschland), an der University of Kent (Grossbritannien), bei Microsoft Research (USA) und an der ETH Zürich (Schweiz). Seitdem wurde sie mit einem ERC Starting Grant, Förderungen des WWTF und des FWF, einem Google Research Scholar Award sowie einem Amazon Research Award ausgezeichnet. Zudem wurde sie als Mitglied der Jungen Akademie der Österreichischen Akademie der Wissenschaften gewählt.