Personal Information
Bernhard Aichernig
Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.
Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.
- Tel.
- +43 316 873 - 5717
Welcome
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
Bounded Determinization of Timed Automata with Silent Transitions
Require, Test and Trace IT
Fast Refinement Checking for Test Case Generation
Model-based Mutation Testing with Timed Automata
Formal Test-Driven Development with Verified Test Cases
Buchkapitel
Dependable Internet of Future ProductsÖsterreichische Forschungskapazität in der Produktion
Model Learning and Model-Based TestingMachine Learning for Dynamic Software Analysis: Potentials and Limits74 - 100
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
Tests and Proofs
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010
Beitrag in Fachzeitschrift
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
A framework for embedded software portability and verification
Learning minimal automata with recurrent neural networks
Active model learning of stochastic reactive systems (extended version)
Fingerprinting and analysis of Bluetooth devices with automata learning
AALpy: An active automata learning library
L*-Based Learning of Markov Decision Processes (Extended Version)
Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models
Efficient Active Automata Learning via Mutation Testing
Probabilistic black-box reachability checking (extended version)
Learning and statistical model checking of system response times
Require, test, and trace IT
Dependable Internet of Things for Networked Cars
Bounded determinization of timed automata with silent transitions
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.
Model-Based Mutation Testing via Symbolic Refinement Checking
Killing strategies for model-based mutation testing
Survey on test data generation tools
Connectors as designs: Modeling, refinement and test case generation
Modellbasiertes Testen (MBT) in der Softwareentwicklung
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo
Resource Modeling for Timed Creol Models
Tagungsbeitrag
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data
ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering
27-39
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models
iFM 2023 - 18th International Conference, iFM 2023, Proceedings
257-276
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning
Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings
138-159
It’s Not a Feature, It’s a Bug
ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering
Learning Environment Models with Continuous Stochastic Dynamics - With an Application to Deep RL Testing
Proceedings - 2024 IEEE Conference on Software Testing, Verification and Validation, ICST 2024
197-208
On the Relationship Between RNN Hidden-State Vectors and Semantic Structures
62nd Annual Meeting of the Association for Computational Linguistics, ACL 2024 - Proceedings of the Conference
5641-5658
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
NASA Formal Methods
373-392
Constrained Training of Recurrent Neural Networks for Automata Learning
Software Engineering and Formal Methods
Search-Based Testing of Reinforcement Learning
Thirty-First International Joint Conference on Artificial Intelligence (IJCAI 2022)
503-510
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
Formal Methods for Autonomous Systems and Automated and verifiable Software sYstem DEvelopment
1-19
Learning Finite State Models fromRecurrent Neural Networks
Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings
229-248
Timed Automata Learning via SMT Solving
NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings
489-507
Learning-Based Fuzzing of IoT Message Brokers
Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021
47-58
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning
Formal Methods - 24th International Symposium, FM 2021, Proceedings
524-542
AALpy: An Active Automata Learning Library
Automated Technology for Verification and Analysis - ATVA 2021
67-73
Active Model Learning of Stochastic Reactive Systems
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings
481-500
A Formal Modeling Approach for Portable Low-Level OS Functionality
Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings
155-174
Step-Wise Development of Provably Correct Actor Systems
Leveraging Applications of Formal Methods, Verification and Validation
426-448
Learning Abstracted Non-deterministic Finite State Machines
Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings
52-69
From Passive to Active: Learning Timed Automata Efficiently
NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings
1-19
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
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
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
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
Testing Software and Systems
3-21
L*-Based Learning of Markov Decision Processes
Formal Methods - The Next 30 Years
651 - 669
A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Unifying Theories of Programming
22-38
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
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
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
How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols
Quantitative Evaluation of Systems - 15th International Conference, QEST 2018
Statistical Model Checking of Response Times for Different System Deployments
Dependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018
Automata Learning for Symbolic Execution
2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018
130 - 138
Statistical Model Checking Meets Property-Based Testing
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
390-400
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
Learning from Faults: Mutation Testing in Active Automata Learning
NASA Formal Methods - 9th International Symposium
19-34
Model-Based Testing IoT Communication via Active Automata Learning
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
276-287
Probabilistic Black-Box Reachability Checking
Runtime Verification, 17th International Conference
50-67
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles
29th IFIP International Conference on Testing, Software and Systems (ICTSS 2017)
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
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
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
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
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
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
Bounded Determinization of Timed Automata with Silent Transitions
Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain
288-304
Require, Test and Trace IT
Formal Methods for Industrial Critical Systems
113-127
Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata
Software Testing, Verification and Validation Workshops (ICSTW) 2015
1-6
Scalable Incremental Test-case Generation from Large Behavior Models
Tests and Proofs
1-18
MoMuT::UML - model-based mutation testing for UML
IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015
1-8
Formal Test-Driven Development with Verified Test Cases
Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
626-635
Debugging with Timed Automata Mutations
Computer Safety, Reliability, and Security
49-64
Integration of Requirements Engineering and Test-Case Generation via OSLC
2014 14th International Conference on Quality Software
117-126
Model-Based Mutation Testing of an Industrial Measurement Device
Tests and Proofs
1-9
Time for Mutants —Model-based Mutation Testing with Timed Automata
Tests and Proofs
20-38
Incremental Refinement Checking for Test Case Generation
Tests and Proofs
1-19
Model-based mutation testing of reactive systems - from semantics to automated test-case generation
Theories of Programming and Formal Methods
23-36
Integrating model-based testing and analysis tools via test case exchange
IEEE International Symposium on Theoretical Aspects of Software Engineering
119-126
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
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
Model-Based Testing (MBT)
88-102
Efficient Refinement Checking for Model-Based Mutation Testing
Proceedings of the 12th International Conference on Quality Software (QSIC 2012)
21-30
The Science of Killing Bugs in a Black Box - (Keynote Talk)
Programming Languages
6-11
UML in Action: A Two-Layered Interpretation for Testing
Third IEEE International workshop UML and Formal Methods (UML & FM 2010)
1-8
Efficient Mutation Killers in Action
2011 Fourth International Conference on Software Testing, Verification and Validation (ICST 2011)
120-129
Compositional Random Testing Using Extended Symbolic Transition Systems
Testing Software and Systems
179-194
Automated Conformance Verification of Hybrid Systems
10th International Conference on Quality Software
3-12
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
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
Model-Based Mutation Testing of Hybrid Systems
Formal Methods for Components and Objects
228-249
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
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
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
Abschlussarbeit
Model-Based Mutation Testing: Theory and Application
Sonstiger Beitrag
Aspects of Learning-based Security Testing
Killing Bugs in a Black Box with Model-based Testing
Links