Bernhard K. Aichernig

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 72

Top Venues

Publications

Bernhard K. Aichernig, Martin Tappler, Felix Wallner
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. Formal Aspects Comput. 36 (1) (2024)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Active model learning of stochastic reactive systems (extended version). Softw. Syst. Model. 23 (2) (2024)
Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. ACL (Findings) (2024)
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler
Learning minimal automata with recurrent neural networks. Softw. Syst. Model. 23 (3) (2024)
Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Könighofer
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data. ICSE (2024)
Felix Wallner, Bernhard K. Aichernig, Christian Burghard
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data. ICSE (2024)
Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
A framework for embedded software portability and verification: from formal models to low-level code. Softw. Syst. Model. 23 (2) (2024)
Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
Correction: A framework for embedded software portability and verification: from formal models to low-level code. Softw. Syst. Model. 23 (2) (2024)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig
Testing-based Black-box Extraction of Simple Models from RNNs and Transformers. ICGI (2023)
Andrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin
Mining Digital Twins of a VPN Server. FMDT@FM (2023)
Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth. CoRR (2023)
Martin Tappler, Bernhard K. Aichernig
Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. AISoLA (2023)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. iFM (2023)
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer
Learning Environment Models with Continuous Stochastic Dynamics. CoRR (2023)
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler
Constrained Training of Recurrent Neural Networks for Automata Learning. SEFM (2022)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
AALpy: an active automata learning library. Innov. Syst. Softw. Eng. 18 (3) (2022)
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
Search-Based Testing of Reinforcement Learning. CoRR (2022)
Andrea Pferscher, Bernhard K. Aichernig
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning. NFM (2022)
Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
Search-Based Testing of Reinforcement Learning. IJCAI (2022)
Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
Reinforcement Learning under Partial Observability Guided by Learned Environment Models. CoRR (2022)
Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols. FMAS/ASYDE@SEFM (2022)
Andrea Pferscher, Bernhard K. Aichernig
Fingerprinting and Analysis of Bluetooth Devices with Automata Learning. CoRR (2022)
Andrea Pferscher, Bernhard K. Aichernig
Fingerprinting and analysis of Bluetooth devices with automata learning. Formal Methods Syst. Des. 61 (1) (2022)
Martin Tappler, Bernhard K. Aichernig, Florian Lorber
Timed Automata Learning via SMT Solving. NFM (2022)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler
Learning Finite State Models fromRecurrent Neural Networks. IFM (2022)
Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher
Learning-Based Fuzzing of IoT Message Brokers. ICST (2021)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
-based learning of Markov decision processes (extended version). Formal Aspects Comput. 33 (4-5) (2021)
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill
Active Model Learning of Stochastic Reactive Systems. SEFM (2021)
Andrea Pferscher, Bernhard K. Aichernig
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning. FM (2021)
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
AALpy: An Active Automata Learning Library. ATVA (2021)
Bernhard K. Aichernig, Benedikt Maderbacher
Step-Wise Development of Provably Correct Actor Systems. ISoLA (1) (2020)
Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler
From Passive to Active: Learning Timed Automata Efficiently. NFM (2020)
Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
A Formal Modeling Approach for Portable Low-Level OS Functionality. SEFM (2020)
Bernhard K. Aichernig, Christian Burghard
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT. ICTSS (2020)
Mehrdad Saadatmand, Birgitta Lindström, Bernhard K. Aichernig
Special issue on testing extra-functional properties. Softw. Test. Verification Reliab. 30 (1) (2020)
Andrea Pferscher, Bernhard K. Aichernig
Learning Abstracted Non-deterministic Finite State Machines. ICTSS (2020)
Bernhard K. Aichernig, Martin Tappler, Felix Wallner
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. TAP@STAF (2020)
Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi
Learning and statistical model checking of system response times. Softw. Qual. J. 27 (2) (2019)
Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran
Programming Behavioral Test Models for SMT Solving in Scala. ICST Workshops (2019)
Bernhard K. Aichernig, Richard Schumi
Property-based testing of web services by deriving properties from business-rule models. Softw. Syst. Model. 18 (2) (2019)
Bernhard K. Aichernig, Martin Tappler
Probabilistic black-box reachability checking (extended version). Formal Methods Syst. Des. 54 (3) (2019)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version). CoRR (2019)
Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
Model-Based Testing IoT Communication via Active Automata Learning. CoRR (2019)
Bernhard K. Aichernig, Martin Tappler
Efficient Active Automata Learning via Mutation Testing. J. Autom. Reason. 63 (4) (2019)
Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm
Predicting and Testing Latencies with Deep Learning: An IoT Case Study. TAP@FM (2019)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
-Based Learning of Markov Decision Processes. FM (2019)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. ICTSS (2019)
Bernhard K. Aichernig
A Testing Perspective on Algebraic, Denotational, and Operational Semantics. UTP (2019)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
L*-Based Learning of Markov Decision Processes (Extended Version). CoRR (2019)
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
Time to Learn - Learning Timed Automata from Tests. FORMATS (2019)
Bernhard K. Aichernig, Christian Burghard, Robert Korosec
Learning-Based Testing of an Industrial Measurement Device. NFM (2019)
Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
Model Learning and Model-Based Testing. Machine Learning for Dynamic Software Analysis (2018)
Bernhard K. Aichernig, Richard Schumi
How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols. QEST (2018)
Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter
Automata Learning for Symbolic Execution. FMCAD (2018)
Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
Learning Timed Automata via Genetic Programming. CoRR (2018)
Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons
Special section of Tests and Proofs 2016. Formal Aspects Comput. 30 (6) (2018)
Bernhard K. Aichernig, Severin Kann, Richard Schumi
Statistical Model Checking of Response Times for Different System Deployments. SETTA (2018)
Bernhard K. Aichernig, Martin Tappler
Learning from Faults: Mutation Testing in Active Automata Learning. NFM (2017)
Bernhard Großwindhager, Astrid Rupp, Martin Tappler, Markus Tranninger, Samuel Weiser, Bernhard K. Aichernig, Carlo Alberto Boano, Martin Horn, Gernot Kubin, Stefan Mangard, Martin Steinberger, Kay Römer
Dependable Internet of Things for Networked Cars. Int. J. Comput. 16 (2017)
Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
Model-Based Testing IoT Communication via Active Automata Learning. ICST (2017)
Bernhard K. Aichernig, Silvio Marcovic, Richard Schumi
Property-Based Testing with External Test-Case Generators. ICST Workshops (2017)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
Require, test, and trace IT. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Bernhard K. Aichernig, Richard Schumi
Statistical Model Checking Meets Property-Based Testing. ICST (2017)
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
Bounded determinization of timed automata with silent transitions. Real Time Syst. 53 (3) (2017)
Bernhard K. Aichernig, Martin Tappler
Probabilistic Black-Box Reachability Checking. RV (2017)
Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. ICTSS (2017)
Bernhard K. Aichernig, Florian Lorber, Martin Tappler
Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. Theory and Practice of Formal Methods (2016)
Bernhard K. Aichernig, Richard Schumi
Towards integrating statistical model checking into property-based testing. MEMOCODE (2016)
Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler
Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. J. Log. Algebraic Methods Program. 85 (5) (2016)
Bernhard K. Aichernig, Martin Tappler
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing. Electron. Notes Theor. Comput. Sci. 320 (2016)
Bernhard K. Aichernig, Richard Schumi
Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. ICST Workshops (2016)
Bernhard K. Aichernig, Florian Lorber
On-the-Fly Determinization of Bounded Networks of Timed Automata. TASE (2016)
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
Bounded Determinization of Timed Automata with Silent Transitions. CoRR (2015)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran
Killing strategies for model-based mutation testing. Softw. Test. Verification Reliab. 25 (8) (2015)
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
Bounded Determinization of Timed Automata with Silent Transitions. FORMATS (2015)
Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl
MoMut: : UML Model-Based Mutation Testing for UML. ICST (2015)
Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran
Scalable Incremental Test-case Generation from Large Behavior Models. TAP@STAF (2015)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
Require, Test and Trace IT. FMICS (2015)
Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran
Model-based mutation testing via symbolic refinement checking. Sci. Comput. Program. 97 (2015)
Bernhard K. Aichernig, Florian Lorber
Towards generation of adaptive test cases from partial models of determinized timed automata. ICST Workshops (2015)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber
Debugging with Timed Automata Mutations. SAFECOMP (2014)
Bernhard K. Aichernig, Florian Lorber, Stefan Tiran
Formal Test-Driven Development with Verified Test Cases. MODELSWARD (2014)
Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt
Model-Based Mutation Testing of an Industrial Measurement Device. TAP@STAF (2014)
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran
Integration of Requirements Engineering and Test-Case Generation via OSLC. QSIC (2014)
Stefan J. Galler, Bernhard K. Aichernig
Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Bernhard K. Aichernig
Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation. Theories of Programming and Formal Methods (2013)
Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic
Time for Mutants - Model-Based Mutation Testing with Timed Automata. TAP@STAF (2013)
Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele
Incremental Refinement Checking for Test Case Generation. TAP@STAF (2013)
Bernhard K. Aichernig, Elisabeth Jöbstl
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking MBT (2012)
Bernhard K. Aichernig, Elisabeth Jöbstl
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. ICST (2012)
Bernhard K. Aichernig
The Science of Killing Bugs in a Black Box - (Keynote Talk). SBLP (2012)
Bernhard K. Aichernig, Florian Lorber, Stefan Tiran
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. TASE (2012)
Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten
Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. 77 (7-8) (2012)
Bernhard K. Aichernig, Elisabeth Jöbstl
Efficient Refinement Checking for Model-Based Mutation Testing. QSIC (2012)
Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa
Compositional Random Testing Using Extended Symbolic Transition Systems. ICTSS (2011)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
UML in action: a two-layered interpretation for testing. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
Efficient Mutation Killers in Action. ICST (2011)
Franz Wotawa, Mihai Nica, Bernhard K. Aichernig
Generating Distinguishing Tests Using the Minion Constraint Solver. ICST Workshops (2010)
Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig
Automated Conformance Verification of Hybrid Systems. QSIC (2010)
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. ICST (2010)

Bernhard K. Aichernig.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernhard K. Aichernig