Bernhard K. Aichernig | Einar Broch Johnsen https://ebjohnsen.org/authors/bernhard/ Bernhard K. Aichernig Hugo Blox Builder (https://hugoblox.com)en-usSun, 12 Apr 2026 09:07:44 +0200 https://ebjohnsen.org/authors/bernhard/avatar_hu456645596115950988.jpg Bernhard K. Aichernig https://ebjohnsen.org/authors/bernhard/ Automata Learning versus Process Mining: The Case for User Journeys https://ebjohnsen.org/publication/26-tse/ Sun, 12 Apr 2026 09:07:44 +0200 https://ebjohnsen.org/publication/26-tse/ Bernhard K. Aichernig https://ebjohnsen.org/authors/bernhard/ Sun, 12 Apr 2026 09:07:44 +0200 https://ebjohnsen.org/authors/bernhard/ Dynamic Symbolic Execution for Testing Distributed Objects https://ebjohnsen.org/publication/09-tap/ Tue, 21 Jul 2009 22:55:26 +0200 https://ebjohnsen.org/publication/09-tap/ Testing Concurrent Objects with Application-Specific Schedulers https://ebjohnsen.org/publication/08-ictac/ Thu, 21 Aug 2008 22:53:49 +0200 https://ebjohnsen.org/publication/08-ictac/