Publications of Group Aichernig

2019
Journal Article
Bernhard Aichernig and Martin Tappler Probabilistic black-box reachability checking (extended version) Show publication in PURE
Conference/Workshop Article
Bernhard Aichernig and Martin Tappler Time to Learn - Learning Timed Automata from Tests Time to Learn - Learning Timed Automata from Tests 216 - 235 Show publication in PURE
Roderick Bloem, Bernhard Aichernig and Martin Tappler Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning 3-21 Show publication in PURE
Bernhard Aichernig and Martin Tappler L*-Based Learning of Markov Decision Processes L*-Based Learning of Markov Decision Processes 651 - 669 Show publication in PURE
2018
Book Chapter
Bernhard Aichernig and Martin Tappler Model Learning and Model-Based TestingModel Learning and Model-Based Testing74 - 100 Show publication in PURE
Journal Article
Bernhard Aichernig and Martin Tappler Efficient Active Automata Learning via Mutation Testing Show publication in PURE
Conference/Workshop Article
Bernhard Aichernig, Roderick Bloem and Martin Tappler Automata Learning for Symbolic Execution Automata Learning for Symbolic Execution 130 - 138 Show publication in PURE
Bernhard Aichernig How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols Show publication in PURE
Bernhard Aichernig Statistical Model Checking of Response Times for Different System Deployments Statistical Model Checking of Response Times for Different System Deployments Show publication in PURE
2017
Journal Article
Bernhard Aichernig Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models Show publication in PURE
Bernhard Aichernig and Martin Tappler Dependable Internet of Things for Networked Cars Show publication in PURE
Bernhard Aichernig Bounded determinization of timed automata with silent transitions Show publication in PURE
Conference/Workshop Article
Bernhard Aichernig Statistical Model Checking Meets Property-Based Testing Statistical Model Checking Meets Property-Based Testing 390-400 Show publication in PURE
Bernhard Aichernig Property-Based Testing with External Test-Case Generators Property-Based Testing with External Test-Case Generators 337-346 Show publication in PURE
Bernhard Aichernig and Martin Tappler Learning from Faults: Mutation Testing in Active Automata Learning Learning from Faults: Mutation Testing in Active Automata Learning 19-34 Show publication in PURE
Bernhard Aichernig, Roderick Bloem and Martin Tappler Model-Based Testing IoT Communication via Active Automata Learning Model-Based Testing IoT Communication via Active Automata Learning 276-287 Show publication in PURE
Bernhard Aichernig and Martin Tappler Probabilistic Black-Box Reachability Checking Probabilistic Black-Box Reachability Checking 50-67 Show publication in PURE
Bernhard Aichernig Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles Show publication in PURE
2016
Proceedings
Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings Show publication in PURE
Journal Article
Bernhard Aichernig Require, test, and trace IT Show publication in PURE
Bernhard Aichernig and Martin Tappler Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. Show publication in PURE
Conference/Workshop Article
Bernhard Aichernig On-the-Fly Determinization of Networks of Timed Automata On-the-Fly Determinization of Networks of Timed Automata 14-21 Show publication in PURE
Bernhard Aichernig Property-based Testing with FsCheck by Deriving Properties from Business Rule Models Property-based Testing with FsCheck by Deriving Properties from Business Rule Models 219-228 Show publication in PURE
Bernhard Aichernig and Martin Tappler Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing 3-19 Show publication in PURE
Bernhard Aichernig Towards Integrating Statistical Model Checking into Property-Based Testing Towards Integrating Statistical Model Checking into Property-Based Testing 71-76 Show publication in PURE
Bernhard Aichernig, Roderick Bloem and Martin Tappler Learning Models of a Network Protocol using Neural Network Language Models Learning Models of a Network Protocol using Neural Network Language Models Show publication in PURE
Bernhard Aichernig and Martin Tappler Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking 15-32 Show publication in PURE
2015
Book
Bernhard Aichernig Bounded Determinization of Timed Automata with Silent Transitions Show publication in PURE
Journal Article
Bernhard Aichernig Model-Based Mutation Testing via Symbolic Refinement Checking Show publication in PURE
Bernhard Aichernig Killing strategies for model-based mutation testing Show publication in PURE
Conference/Workshop Article
Bernhard Aichernig Scalable Incremental Test-case Generation from Large Behavior Models Scalable Incremental Test-case Generation from Large Behavior Models 1-18 Show publication in PURE
Bernhard Aichernig Bounded Determinization of Timed Automata with Silent Transitions Bounded Determinization of Timed Automata with Silent Transitions 288-304 Show publication in PURE
Bernhard Aichernig MoMuT::UML - model-based mutation testing for UML MoMuT::UML - model-based mutation testing for UML 1-8 Show publication in PURE
Bernhard Aichernig Require, Test and Trace IT Require, Test and Trace IT 113-127 Show publication in PURE
Bernhard Aichernig Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata 1-6 Show publication in PURE
Other Article
Bernhard Aichernig Killing Bugs in a Black Box with Model-based Testing Show publication in PURE
2014
Book
Bernhard Aichernig Require, Test and Trace IT Show publication in PURE
Journal Article
Bernhard Aichernig Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java Show publication in PURE
Conference/Workshop Article
Bernhard Aichernig Debugging with Timed Automata Mutations Debugging with Timed Automata Mutations 49-64 Show publication in PURE
Bernhard Aichernig Integration of Requirements Engineering and Test-Case Generation via OSLC Integration of Requirements Engineering and Test-Case Generation via OSLC 117-126 Show publication in PURE
Bernhard Aichernig Formal Test-Driven Development with Verified Test Cases Formal Test-Driven Development with Verified Test Cases 626-635 Show publication in PURE
Bernhard Aichernig Model-Based Mutation Testing of an Industrial Measurement Device Model-Based Mutation Testing of an Industrial Measurement Device 1-9 Show publication in PURE
2013
Book
Bernhard Aichernig Model-based Mutation Testing with Timed Automata Show publication in PURE
Bernhard Aichernig Fast Refinement Checking for Test Case Generation Show publication in PURE
Conference/Workshop Article
Bernhard Aichernig Model-based mutation testing of reactive systems - from semantics to automated test-case generation Model-based mutation testing of reactive systems - from semantics to automated test-case generation 23-36 Show publication in PURE
Bernhard Aichernig Time for Mutants —Model-based Mutation Testing with Timed Automata Time for Mutants —Model-based Mutation Testing with Timed Automata 20-38 Show publication in PURE
Bernhard Aichernig Incremental Refinement Checking for Test Case Generation Incremental Refinement Checking for Test Case Generation 1-19 Show publication in PURE
2012
Book
Bernhard Aichernig Formal Test-Driven Development with Verified Test Cases Show publication in PURE
Proceedings
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010 Show publication in PURE
Journal Article
Bernhard Aichernig Connectors as designs: Modeling, refinement and test case generation Show publication in PURE
Conference/Workshop Article
Bernhard Aichernig Integrating model-based testing and analysis tools via test case exchange Integrating model-based testing and analysis tools via test case exchange 119-126 Show publication in PURE
Bernhard Aichernig Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints 752-757 Show publication in PURE
Bernhard Aichernig The Science of Killing Bugs in a Black Box - (Keynote Talk) The Science of Killing Bugs in a Black Box - (Keynote Talk) 6-11 Show publication in PURE
Bernhard Aichernig Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking 88-102 Show publication in PURE
Bernhard Aichernig Efficient Refinement Checking for Model-Based Mutation Testing Efficient Refinement Checking for Model-Based Mutation Testing 21-30 Show publication in PURE
Thesis
Bernhard Aichernig Model-Based Mutation Testing: Theory and Application Show publication in PURE
2011
Journal Article
Bernhard Josef Peischl, Franz Wotawa and Bernhard Aichernig Modellbasiertes Testen (MBT) in der Softwareentwicklung Show publication in PURE
Conference/Workshop Article
Bernhard Aichernig UML in Action: A Two-Layered Interpretation for Testing UML in Action: A Two-Layered Interpretation for Testing 1-8 Show publication in PURE
Bernhard Aichernig Efficient Mutation Killers in Action Efficient Mutation Killers in Action 120-129 Show publication in PURE
Franz Wotawa and Bernhard Aichernig Compositional Random Testing Using Extended Symbolic Transition Systems Compositional Random Testing Using Extended Symbolic Transition Systems 179-194 Show publication in PURE
2010
Book Chapter
Bernhard Aichernig A systematic introduction to mutation testing in unifying theories of programmingA systematic introduction to mutation testing in unifying theories of programming243-287 Show publication in PURE
Journal Article
Bernhard Aichernig Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo Show publication in PURE
Bernhard Aichernig Resource Modeling for Timed Creol Models Show publication in PURE
Conference/Workshop Article
Bernhard Aichernig Automated Conformance Verification of Hybrid Systems Automated Conformance Verification of Hybrid Systems 3-12 Show publication in PURE
Franz Wotawa and Bernhard Aichernig When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving 479-488 Show publication in PURE
Franz Wotawa and Bernhard Aichernig Generating Distinguishing Tests using the MINION Constraint Solver Generating Distinguishing Tests using the MINION Constraint Solver 1-6 Show publication in PURE
Bernhard Aichernig Model-Based Mutation Testing of Hybrid Systems Model-Based Mutation Testing of Hybrid Systems 228-249 Show publication in PURE
Bernhard Aichernig Unifying input output conformance Unifying input output conformance 181-201 Show publication in PURE
Bernhard Aichernig Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems 228-249 Show publication in PURE
Bernhard Aichernig The Credo Methodology - (Extended Version) The Credo Methodology - (Extended Version) 41-69 Show publication in PURE