Dominic Steinhöfel
Porträt von Dominic Steinhöfel
Gründer & Geschäftsführer, InputLab

Dr. Dominic Steinhöfel

Also known as „Mr. Test Data“. Ich helfe regulierten Unternehmen, Software mit den richtigen Daten schnell und zuverlässig zu testen. Bei minimalem Datenschutzrisiko.

Nach zehn Jahren Forschung im Bereich Softwarequalität, insbesondere zur Generierung komplexer Testdaten, möchte ich mit InputLab wissenschaftliches Know-How in die Praxis bringen. Ich unterstütze Banken, Versicherungen und andere regulierte Unternehmen sowie Anbieter komplexer B2B-Software dabei, Testdatenprozesse aufzubauen, die schnell, nachvollziehbar und DSGVO-konform sind.

InputLab besuchen ↗ Kontakt
InputLab
Mein Fokus mit InputLab

Testdaten. Aber schnell, gut und sicher.

Viele Unternehmen wollen schneller releasen. Aber veraltete und unpassende Testdaten und aufwändige, langsame Prozesse stehen ihnen im Weg. InputLab liefert reproduzierbare vollsynthetische oder anonymisierte Testdaten auf Basis der tatsächlichen Geschäftsregeln, mit messbarer Abdeckung kritischer Szenarien.

Automatisierte Bereitstellung

Neue Datensätze in Stunden statt Wochen. Nach Wunsch vollständig ohne Extraktion aus der Produktion.

Messbare Abdeckung

Wir machen sichtbar, welche Geschäfts- und Grenzfälle abgedeckt sind und wo noch Lücken bestehen.

DSGVO-konform

Vollständig synthetische oder gründlich anonymisierte Daten ohne Personenbezug.

Nahtlose Integration

Anbindung an Datenbanken, Schemas, APIs und bestehende CI/CD- und Testprozesse.

Spin-off des CISPA Helmholtz-Instituts für Softwaresicherheit · Projekt "DATAROCK" gefördert vom Bundesministerium für Forschung, Technologie und Raumfahrt · ATHENE SpeedUpSecure Accelerator 2024

Woher ich komme

Wissenschaftlicher Hintergrund

Bevor ich InputLab gegründet habe, habe ich zehn Jahre an der TU Darmstadt und am CISPA Helmholtz-Zentrum für Informationssicherheit zu Softwarekorrektheit und Testdatengenerierung geforscht. Von automatischen Korrektheitsbeweisen für Java-Refactorings bis zur präzisen Generierung komplexer Testdaten aus Spezifikationen.

Dr. rer. nat., summa cum laude Informatik, TU Darmstadt (2020)
10+ Jahre Forschung zu Softwarequalität & Testing
Postdoc CISPA Helmholtz-Zentrum für Informationssicherheit

ISLa

Spezifikationssprache und Solver für kontextsensitive String-Constraints. Grundlage für hochpräzises Fuzz-Testing und Fehleranalyse.

Dokumentation ↗

Abstract Execution & REFINITY

Verifikationsframework zum automatischen Korrektheitsbeweis von Programmtransformationen. Fand u. a. bestätigte Bugs in den Refactoring-Engines von IntelliJ IDEA und Eclipse.

Mehr erfahren ↗

KeY

Deduktionsbasierter Programmbeweiser für Java, seit 2015 mit substanziellen Beiträgen von mir. Eingesetzt in Forschung und Lehre.

Zum Projekt ↗
Google Scholar · DBLP · ORCID · GitHub · CV (PDF)
Vorträge & Presse

Im Austausch mit der Community

Kontakt

Lass uns reden

Meine Themen sind Testdatenstrategie, Softwarequalität und alles was dazu gehört. Melde dich gerne, wenn du neue Impulse möchtest.

dominic@inputlab.net Auf LinkedIn vernetzen ↗