Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Bernhard K. Aichernig
Professor
Johannes Kepler Universität Linz
Latest
Automata Learning versus Process Mining: The Case for User Journeys
Dynamic Symbolic Execution for Testing Distributed Objects
Testing Concurrent Objects with Application-Specific Schedulers
Cite
×
