Personal Information

Bernhard Aichernig
Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.

Institut für Softwaretechnologie
Inffeldgasse 16b/II
8010 Graz

Phone
+43 316 873 - 5717

Welcome

(c) TODO

Bernhard K. Aichernig is a tenured associate professor (ao. Univ.-Prof.) at Graz University of Technology, Austria. He and his research group investigates the foundations of software engineering for realising dependable computer-based systems. Bernhard is an expert in formal methods and testing. His research covers a variety of areas combining falsification, verification and abstraction techniques. Current topics include the Internet of Things, model learning, and statistical model checking. Since 2006, he participated in four European projects. From 2004-2016 Bernhard served as a board member of Formal Methods Europe, the association that organises the Formal Methods symposia. From 2002 to 2006 he had a faculty position at the United Nations University in Macao S.A.R., China. Bernhard holds a habilitation in Practical Computer Science and Formal Methods, a doctorate, and a diploma engineer degree from Graz University of Technology.

Publications

Book
Amnon Rosenmann, Florian Lukas Lorber, Dejan Nickovic and Bernhard Aichernig Bounded Determinization of Timed Automata with Silent Transitions
Florian Lukas Lorber, Bernhard Aichernig, Stefan Tiran and Dejan Nickovic Require, Test and Trace IT
Bernhard Aichernig, Florian Lukas Lorber and Dejan Nickovic Model-based Mutation Testing with Timed Automata
Bernhard Aichernig, Elisabeth Jöbstl and Matthias Kegele Fast Refinement Checking for Test Case Generation
Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Formal Test-Driven Development with Verified Test Cases
Book Chapter
Bernhard Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler and Masoumeh Taromirad Model Learning and Model-Based TestingMachine Learning for Dynamic Software Analysis: Potentials and Limits74 - 100
Bernhard Aichernig A systematic introduction to mutation testing in unifying theories of programmingTesting Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures243-287
Proceedings
Bernhard K. Aichernig and Carlo A. Furia Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Bernhard Aichernig, Frank S. de Boer and Marcello M. Bonsangue Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010
Journal Article
Martin Tappler, Bernhard Aichernig, Giovanni Bacci, Maria Eichlseder and Kim Guldstrand Larsen L*-Based Learning of Markov Decision Processes (Extended Version)
Bernhard Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick and Richard Alexander Schumi Learning and statistical model checking of system response times
Bernhard Aichernig and Martin Tappler Efficient Active Automata Learning via Mutation Testing
Bernhard Aichernig and Martin Tappler Probabilistic black-box reachability checking (extended version)
Bernhard K. Aichernig and Richard Alexander Schumi Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models
Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic and Bernhard Aichernig Bounded determinization of timed automata with silent transitions
Bernhard Großwindhager, Astrid Rupp, Martin Tappler, Markus Tranninger, Samuel Weiser, Bernhard Aichernig, Carlo Alberto Boano, Martin Horn, Gernot Kubin, Stefan Mangard, Martin Steinberger and Kay Uwe Römer Dependable Internet of Things for Networked Cars
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lukas Lorber, Dejan Nickovic and Stefan Tiran Require, test, and trace IT
Bernhard K. Aichernig, Elisabeth Jöbstl and Martin Tappler Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.
Bernhard Aichernig, Elisabeth Jöbstl and Stefan Tiran Model-Based Mutation Testing via Symbolic Refinement Checking
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick and Stefan Tiran Killing strategies for model-based mutation testing
Stefan J. Galler and Bernhard Aichernig Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java
Meng Sun, Farhad Arbab, Bernhard Aichernig, Lacramioara Astefanoaei, Frank S. de Boer and Jan Rutten Connectors as designs: Modeling, refinement and test case generation
Bernhard Aichernig, Bernhard Peischl and Franz Wotawa Modellbasiertes Testen (MBT) in der Softwareentwicklung
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong and Wang Yi Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo
Rudolf Schlatte, Bernhard Aichernig, Andreas Griesmayer and Marcel Kyas Resource Modeling for Timed Creol Models
Conference/Workshop Article
Renata Martins Gomes, Bernhard Aichernig and Marcel Carsten Baunach A Formal Modeling Approach for Portable Low-Level OS Functionality Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings 155-174
Bernhard Aichernig and Benedikt Maderbacher Step-Wise Development of Provably Correct Actor Systems Leveraging Applications of Formal Methods, Verification and Validation 426-448
Bernhard Aichernig, Martin Tappler and Felix Wallner Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning Tests and Proofs - 14th International Conference, TAP 2020, held as part of STAF 2020, Proceedings 3-22
Bernhard Aichernig and Christian Burghard Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings 35-51
Bernhard Aichernig, Edi Muškardin and Andrea Pferscher Learning-Based Fuzzing of IoT Message Brokers IEEE International Conference on Software Testing, Verification and Validation (ICST) 2021
Bernhard Aichernig, Benedikt Maderbacher and Stefan Tiran Programming Behavioral Test Models for SMT Solving in Scala 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019 52-60
Bernhard Aichernig, Christian Burghard and Robert Korosec Learning-Based Testing of an Industrial Measurement Device NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings 1-18
Bernhard Aichernig, Franz Pernkopf, Richard Alexander Schumi and Andreas Wurm Predicting and Testing Latencies with Deep Learning: An IoT Case Study Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings 93-111
Martin Tappler, Bernhard Aichernig, Kim Guldstrand Larsen and Florian Lorber Time to Learn - Learning Timed Automata from Tests Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings 216 - 235
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler and Markus Tranninger Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning Testing Software and Systems 3-21
Martin Tappler, Bernhard Aichernig, Giovanni Bacci, Maria Eichlseder and Kim Guldstrand Larsen L*-Based Learning of Markov Decision Processes Formal Methods - The Next 30 Years 651 - 669
Bernhard Aichernig A Testing Perspective on Algebraic, Denotational, and Operational Semantics Unifying Theories of Programming 22-38
Bernhard K. Aichernig and Richard Alexander Schumi How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols Quantitative Evaluation of Systems - 15th International Conference, QEST 2018
Bernhard K. Aichernig, Severin Kann and Richard Alexander Schumi Statistical Model Checking of Response Times for Different System Deployments Dependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018
Bernhard Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler and Johannes Winter Automata Learning for Symbolic Execution 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018 130 - 138
Bernhard K. Aichernig and Richard Alexander Schumi Statistical Model Checking Meets Property-Based Testing 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017) 390-400
Bernhard K. Aichernig, Silvio Marcovic and Richard Alexander Schumi Property-Based Testing with External Test-Case Generators 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017 337-346
Bernhard K. Aichernig and Martin Tappler Learning from Faults: Mutation Testing in Active Automata Learning NASA Formal Methods - 9th International Symposium 19-34
M. Tappler, B. K. Aichernig and R. Bloem Model-Based Testing IoT Communication via Active Automata Learning 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) 276-287
Bernhard Aichernig and Martin Tappler Probabilistic Black-Box Reachability Checking Runtime Verification, 17th International Conference 50-67
Richard Alexander Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn and Rupert Schlick Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles 29th IFIP International Conference on Testing, Software and Systems (ICTSS 2017)
Bernhard K. Aichernig, Florian Lorber and Martin Tappler Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday 15-32
Bernhard K. Aichernig and Florian Lukas Lorber On-the-Fly Determinization of Networks of Timed Automata Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China 14-21
Bernhard K. Aichernig and Richard Schumi Property-based Testing with FsCheck by Deriving Properties from Business Rule Models Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016 219-228
Bernhard K. Aichernig and Martin Tappler Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings 3-19
Bernhard K. Aichernig and Richard Alexander Schumi Towards Integrating Statistical Model Checking into Property-Based Testing 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016 71-76
Bernhard Aichernig, Roderick Bloem, Franz Pernkopf, Franz Röck, Tobias Schrank and Martin Tappler Learning Models of a Network Protocol using Neural Network Language Models IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016
Bernhard Aichernig and Florian Lukas Lorber Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata Software Testing, Verification and Validation Workshops (ICSTW) 2015 1-6
Bernhard Aichernig, Dejan Nickovic and Stefan Tiran Scalable Incremental Test-case Generation from Large Behavior Models Tests and Proofs 1-18
Florian Lukas Lorber, Amnon Rosenmann, Dejan Nickovic and Bernhard Aichernig Bounded Determinization of Timed Automata with Silent Transitions Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain 288-304
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Karl Krenn, Rupert Schlick and Stefan Tiran MoMuT::UML - model-based mutation testing for UML IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015 1-8
Bernhard Aichernig, Klaus Hörmaier, Florian Lukas Lorber, Dejan Nickovic and Stefan Tiran Require, Test and Trace IT Formal Methods for Industrial Critical Systems 113-127
Bernhard Aichernig, Klaus Hörmaier and Florian Lukas Lorber Debugging with Timed Automata Mutations Computer Safety, Reliability, and Security 49-64
Bernhard Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Stefan Tiran and Didier Simoneau Integration of Requirements Engineering and Test-Case Generation via OSLC 2014 14th International Conference on Quality Software 117-126
Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Formal Test-Driven Development with Verified Test Cases Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development 626-635
Bernhard Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick and Birgit Vera Schmidt Model-Based Mutation Testing of an Industrial Measurement Device Tests and Proofs 1-9
Bernhard Aichernig Model-based mutation testing of reactive systems - from semantics to automated test-case generation Theories of Programming and Formal Methods 23-36
Bernhard Aichernig, Florian Lukas Lorber and Dejan Nickovic Time for Mutants —Model-based Mutation Testing with Timed Automata Tests and Proofs 20-38
Bernhard Aichernig, Elisabeth Jöbstl and Matthias Kegele Incremental Refinement Checking for Test Case Generation Tests and Proofs 1-19
Bernhard Aichernig and Elisabeth Jöbstl Efficient Refinement Checking for Model-Based Mutation Testing Proceedings of the 12th International Conference on Quality Software (QSIC 2012) 21-30
Bernhard Aichernig, Florian Lukas Lorber and Stefan Tiran Integrating model-based testing and analysis tools via test case exchange IEEE International Symposium on Theoretical Aspects of Software Engineering 119-126
Bernhard Aichernig and Elisabeth Jöbstl Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012) 752-757
Bernhard Aichernig The Science of Killing Bugs in a Black Box - (Keynote Talk) Programming Languages 6-11
Bernhard Aichernig and Elisabeth Jöbstl Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking Model-Based Testing (MBT) 88-102
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn UML in Action: A Two-Layered Interpretation for Testing Third IEEE International workshop UML and Formal Methods (UML & FM 2010) 1-8
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn Efficient Mutation Killers in Action 2011 Fourth International Conference on Software Testing, Verification and Validation (ICST 2011) 120-129
Christian Schwarzl, Bernhard Aichernig and Franz Wotawa Compositional Random Testing Using Extended Symbolic Transition Systems Testing Software and Systems 179-194
Harald Brandl, Martin Weiglhofer and Bernhard Aichernig Automated Conformance Verification of Hybrid Systems Proceedings of the 10th International Conference on Quality Software 3-12
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard Aichernig and Franz Wotawa When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving 2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010) 479-488
Franz Wotawa, Mihai Nica and Bernhard Aichernig Generating Distinguishing Tests using the MINION Constraint Solver Proc. of the 2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10) 1-6
Martin Weiglhofer and Bernhard Aichernig Unifying input output conformance Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland 181-201
Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl and Willibald Krenn Model-Based Mutation Testing of Hybrid Systems Formal Methods for Components and Objects 228-249
Bernhard Aichernig Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems Proc. of Formal Methods for Components and Objects (FMCO) 2009 228-249
Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard Aichernig, Frank S. de Boer and Andreas Griesmayer The Credo Methodology - (Extended Version) Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers 41-69
Thesis
Bernhard Aichernig Model-Based Mutation Testing: Theory and Application
Other Article
Andrea Pferscher and Bernhard Aichernig Learning Abstracted Non-deterministic Finite State Machines
Bernhard Aichernig, Andrea Pferscher and Martin Tappler From Passive to Active: Learning Timed Automata Efficiently
Bernhard Aichernig and Florian Lukas Lorber Killing Bugs in a Black Box with Model-based Testing
Links
image/svg+xml