Activities per year
Activities
- 7 results
Search results
-
Creating Digital Twins through Model Learning and Testing
Bernhard Aichernig (Speaker)
4 Oct 2021Activity: Talk or presentation › Invited talk at conference or symposium › Science to public
-
Learning-based Testing: Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
20 Oct 2020Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Bernhard Aichernig (Speaker)
8 Oct 2019Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Smart Black-box Testing
Bernhard Aichernig (Keynote speaker)
7 Dec 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Model-based Mutation Testing - The Science of Killing Bugs in a Black Box
Bernhard Aichernig (Speaker)
11 Jun 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
5 Jun 2018Activity: Talk or presentation › Invited talk at conference or symposium › Science to science
-
Smart Black-box Testing - Combining Model Learning and Model-based Testing
Bernhard Aichernig (Speaker)
20 Sept 2017Activity: Talk or presentation › Invited talk at conference or symposium › Science to science