<div class="csl-bib-body">
<div class="csl-entry">Christakis, M. (2025, June 10). <i>Just Nail It: Systematic Testing for Complex Systems</i> [Conference Presentation]. MPI-SWS Research Symposium, Germany. http://hdl.handle.net/20.500.12708/217207</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/217207
-
dc.description.abstract
With a well-stocked toolbox of program-analysis techniques–from
random fuzzing to formal verification–I’ve had the opportunity to
drive many kinds of nails: traditional software, smart contracts,
heterogeneous systems, and more. But in this talk, I want to focus on
one particularly versatile hammer: metamorphic testing.
Metamorphic testing is especially powerful when test oracles are not
easily available. We’ll see it in action on program analyzers,
zero-knowledge systems, and machine-learning models. This talk is not
just about where metamorphic testing works, but how to make it
work. I’ll confront the challenges of adapting this technique to
different contexts and share my insights along the way.
Whether you’re into systems, security, formal methods, or machine
learning, there’s something here for you. Come see what breaks when we
swing the hammer.
en
dc.language.iso
en
-
dc.subject
metamorphic testing
en
dc.subject
program analyzers
en
dc.subject
zero-knowledge pipelines
en
dc.subject
machine-learning models
en
dc.title
Just Nail It: Systematic Testing for Complex Systems
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Conference Presentation
-
tuw.researchTopic.id
I4
-
tuw.researchTopic.name
Information Systems Engineering
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E194-01 - Forschungsbereich Software Engineering
-
tuw.publication.orgunit
E056-26 - Fachbereich Automated Reasoning
-
tuw.author.orcid
0000-0002-2649-1958
-
tuw.event.name
MPI-SWS Research Symposium
en
tuw.event.startdate
10-06-2025
-
tuw.event.enddate
11-06-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.country
DE
-
tuw.event.presenter
Christakis, Maria
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openairecristype
http://purl.org/coar/resource_type/c_18cp
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.openairetype
conference paper not in proceedings
-
crisitem.author.dept
E194-01 - Forschungsbereich Software Engineering
-
crisitem.author.orcid
0000-0002-2649-1958
-
crisitem.author.parentorg
E194 - Institut für Information Systems Engineering
