Search Results - "Aichernig, Bernhard K"

Efficient Active Automata Learning via Mutation Testing by Aichernig, Bernhard K., Tappler, Martin

“…System verification is often hindered by the absence of formal models. Peled et al. proposed black-box checking as a solution to this problem. This technique…”
Get full text

Fingerprinting and analysis of Bluetooth devices with automata learning by Pferscher, Andrea, Aichernig, Bernhard K.

“…Automata learning is a technique to automatically infer behavioral models of black-box systems. Today’s learning algorithms enable the deduction of models that…”
Get full text

It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data by Wallner, Felix, Aichernig, Bernhard K., Burghard, Christian

“…The mining of models from data finds widespread use in industry. There exists a variety of model inference methods for perfectly deterministic behaviour,…”
Get full text

Learning minimal automata with recurrent neural networks by Aichernig, Bernhard K., König, Sandra, Mateis, Cristinel, Pferscher, Andrea, Tappler, Martin

“…In this article, we present a novel approach to learning finite automata with the help of recurrent neural networks. Our goal is not only to train a neural…”
Get full text

Probabilistic black-box reachability checking (extended version) by Aichernig, Bernhard K., Tappler, Martin

“…Model checking has a long-standing tradition in software verification. Given a system design it checks whether desired properties are satisfied. Unlike…”
Get full text

Active model learning of stochastic reactive systems (extended version) by Muškardin, Edi, Tappler, Martin, Aichernig, Bernhard K., Pill, Ingo

“…Black-box systems are inherently hard to verify. Many verification techniques, like model checking, require formal models as a basis. However, such models…”
Get full text

Property-based testing of web services by deriving properties from business-rule models by Aichernig, Bernhard K., Schumi, Richard

“…Property-based testing is well suited for web-service applications, which was already shown in various case studies. For example, it has been demonstrated that…”
Get full text

Killing strategies for model-based mutation testing by Aichernig, Bernhard K., Brandl, Harald, Jöbstl, Elisabeth, Krenn, Willibald, Schlick, Rupert, Tiran, Stefan

“…Summary This article presents the techniques and results of a novel model‐based test case generation approach that automatically derives test cases from UML…”
Get full text

Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data by Tappler, Martin, Pferscher, Andrea, Aichernig, Bernhard K., Konighofer, Bettina

“…Reinforcement learning from demonstrations (RLfD) is a promising approach to improve the exploration efficiency of reinforcement learning (RL) by learning from…”
Get full text

AALpy: an active automata learning library by Muškardin, Edi, Aichernig, Bernhard K., Pill, Ingo, Pferscher, Andrea, Tappler, Martin

“…AALpy is an extensible open-source Python library providing efficient implementations of active automata learning algorithms for deterministic,…”
Get full text

L∗-based learning of Markov decision processes (extended version) by Tappler, Martin, Aichernig, Bernhard K., Bacci, Giovanni, Eichlseder, Maria, Larsen, Kim G.

“…Automata learning techniques automatically generate systemmodels fromtest observations. Typically, these techniques fall into two categories: passive and…”
Get full text

Special issue on testing extra‐functional properties by Saadatmand, Mehrdad, Lindström, Birgitta, Aichernig, Bernhard K.

Get full text

Bounded determinization of timed automata with silent transitions by Lorber, Florian, Rosenmann, Amnon, Ničković, Dejan, Aichernig, Bernhard K.

“…Deterministic timed automata are strictly less expressive than their non-deterministic counterparts, which are again less expressive than those with silent…”
Get full text

Survey on test data generation tools: An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java by Galler, Stefan J., Aichernig, Bernhard K.

“…Automating the process of software testing is a very popular research topic and of real interest to industry. Test automation can take part on different…”
Get full text

Require, test, and trace IT by Aichernig, Bernhard K., Hörmaier, Klaus, Lorber, Florian, Ničković, Dejan, Tiran, Stefan

“…We propose a framework for requirement-driven test generation that combines contract-based interface theories with model-based testing. We design a…”
Get full text

Learning and statistical model checking of system response times by Aichernig, Bernhard K., Bauerstätter, Priska, Jöbstl, Elisabeth, Kann, Severin, Korošec, Robert, Krenn, Willibald, Mateis, Cristinel, Schlick, Rupert, Schumi, Richard

“…Since computers have become increasingly more powerful, users are less willing to accept slow responses of systems. Hence, performance testing is important for…”
Get full text

Special section of Tests and Proofs 2016 by Aichernig, Bernhard K., Furia, Carlo A., Gaudel, Marie-Claude, Hierons, Rob

Get full text

Mutation testing in UTP by Aichernig, Bernhard K., Jifeng, He

“…This paper presents a theory of testing that integrates into Hoare and He’s Unifying Theory of Programming (UTP). We give test cases a denotational semantics…”
Get full text

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking by Aichernig, Bernhard K., Jöbstl, Elisabeth

“…Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires…”
Get full text

Mutation testing in the refinement calculus by AICHERNIG, Bernhard K

“…Abstract This article discusses mutation testing strategies in the context of refinement. Here, a novel generalisation of mutation testing techniques is…”
Get full text