Bernhard K. Aichernig

161 papers A* 3A 8B 17C 12Misc 4Journal 42Unranked 71

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	AI Assisted Programming (AISoLA 2025 Track Introduction). AISoLA Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund
2025	—	`conf`	Extending AALpy with Passive Learning: A Generalized State-Merging Approach. CAV (4) Benjamin von Berg, Bernhard K. Aichernig
2025	J	`jnl`	Extending AALpy with Passive Learning: A Generalized State-Merging Approach. CoRR Benjamin von Berg, Bernhard K. Aichernig
2025	—	`conf`	Mutating Skeletons: Learning Timed Automata via Domain Knowledge. ICSTW Felix Wallner, Bernhard K. Aichernig, Florian Lorber, Martin Tappler
2024	J	`jnl`	A framework for embedded software portability and verification: from formal models to low-level code. Softw. Syst. Model. Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
2024	—	`conf`	AI Assisted Programming - (AISoLA 2024 Track Introduction). AISoLA Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund
2024	—	`conf`	Active Model Learning of Git Version Control System. ICSTW Edi Muskardin, Tamim Burgstaller, Martin Tappler, Bernhard K. Aichernig
2024	J	`jnl`	Active model learning of stochastic reactive systems (extended version). Softw. Syst. Model. Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
2024	J	`jnl`	Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. Formal Aspects Comput. Bernhard K. Aichernig, Martin Tappler, Felix Wallner
2024	—	`conf`	Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Generated Code. AISoLA Bernhard K. Aichernig, Klaus Havelund
2024	J	`jnl`	Correction: A framework for embedded software portability and verification: from formal models to low-level code. Softw. Syst. Model. Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
2024	B	`conf`	Hierarchical Learning of Generative Automaton Models from Sequential Data. SEFM Benjamin von Berg, Bernhard K. Aichernig, Maximilian Rindler, Darko Stern, Martin Tappler
2024	A*	`conf`	It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data. ICSE Felix Wallner, Bernhard K. Aichernig, Christian Burghard
2024	A	`conf`	Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing. ICST Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer
2024	A*	`conf`	Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data. ICSE Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Könighofer
2024	J	`jnl`	Learning minimal automata with recurrent neural networks. Softw. Syst. Model. Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler
2024	—	`conf`	On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. ACL (Findings) Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
2023	—	`conf`	AI-Assisted Programming with Test-Based Refinement. AISoLA (Selected Papers) Bernhard K. Aichernig, Klaus Havelund
2023	—	`conf`	Differential Safety Testing of Deep RL Agents Enabled by Automata Learning. AISoLA Martin Tappler, Bernhard K. Aichernig
2023	J	`jnl`	Learning Environment Models with Continuous Stochastic Dynamics. CoRR Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer
2023	—	`conf`	Mining Digital Twins of a VPN Server. FMDT@FM Andrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin
2023	J	`jnl`	On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth. CoRR Edi Muskardin, Martin Tappler, Ingo Pill, Bernhard K. Aichernig, Thomas Pock
2023	B	`conf`	Reinforcement Learning Under Partial Observability Guided by Learned Environment Models. iFM Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
2023	—	`conf`	Testing-based Black-box Extraction of Simple Models from RNNs and Transformers. ICGI Edi Muskardin, Martin Tappler, Bernhard K. Aichernig
2022	J	`jnl`	AALpy: an active automata learning library. Innov. Syst. Softw. Eng. Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
2022	—	`conf`	Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols. FMAS/ASYDE@SEFM Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher
2022	B	`conf`	Constrained Training of Recurrent Neural Networks for Automata Learning. SEFM Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler
2022	J	`jnl`	Fingerprinting and Analysis of Bluetooth Devices with Automata Learning. CoRR Andrea Pferscher, Bernhard K. Aichernig
2022	J	`jnl`	Fingerprinting and analysis of Bluetooth devices with automata learning. Formal Methods Syst. Des. Andrea Pferscher, Bernhard K. Aichernig
2022	B	`conf`	Learning Finite State Models fromRecurrent Neural Networks. IFM Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Martin Tappler
2022	J	`jnl`	Reinforcement Learning under Partial Observability Guided by Learned Environment Models. CoRR Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill
2022	A*	`conf`	Search-Based Testing of Reinforcement Learning. IJCAI Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
2022	J	`jnl`	Search-Based Testing of Reinforcement Learning. CoRR Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, Bettina Könighofer
2022	—	`conf`	Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning. NFM Andrea Pferscher, Bernhard K. Aichernig
2022	—	`conf`	Timed Automata Learning via SMT Solving. NFM Martin Tappler, Bernhard K. Aichernig, Florian Lorber
2021	B	`conf`	AALpy: An Active Automata Learning Library. ATVA Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
2021	B	`conf`	Active Model Learning of Stochastic Reactive Systems. SEFM Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill
2021	B	`conf`	Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning. FM Andrea Pferscher, Bernhard K. Aichernig
2021	J	`jnl`	L Formal Aspects Comput. Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2021	A	`conf`	Learning-Based Fuzzing of IoT Message Brokers. ICST Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher
2020	B	`conf`	A Formal Modeling Approach for Portable Low-Level OS Functionality. SEFM Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
2020	—	`conf`	Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. TAP@STAF Bernhard K. Aichernig, Martin Tappler, Felix Wallner
2020	—	`conf`	From Passive to Active: Learning Timed Automata Efficiently. NFM Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler
2020	C	`conf`	Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT. ICTSS Bernhard K. Aichernig, Christian Burghard
2020	C	`conf`	Learning Abstracted Non-deterministic Finite State Machines. ICTSS Andrea Pferscher, Bernhard K. Aichernig
2020	J	`jnl`	Special issue on testing extra-functional properties. Softw. Test. Verification Reliab. Mehrdad Saadatmand, Birgitta Lindström, Bernhard K. Aichernig
2020	—	`conf`	Step-Wise Development of Provably Correct Actor Systems. ISoLA (1) Bernhard K. Aichernig, Benedikt Maderbacher
2019	—	`conf`	A Testing Perspective on Algebraic, Denotational, and Operational Semantics. UTP Bernhard K. Aichernig
2019	J	`jnl`	Efficient Active Automata Learning via Mutation Testing. J. Autom. Reason. Bernhard K. Aichernig, Martin Tappler
2019	B	`conf`	L FM Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2019	J	`jnl`	L*-Based Learning of Markov Decision Processes (Extended Version). CoRR Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
2019	J	`jnl`	Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version). CoRR Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
2019	C	`conf`	Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning. ICTSS Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, Markus Tranninger
2019	J	`jnl`	Learning and statistical model checking of system response times. Softw. Qual. J. Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi
2019	—	`conf`	Learning-Based Testing of an Industrial Measurement Device. NFM Bernhard K. Aichernig, Christian Burghard, Robert Korosec
2019	J	`jnl`	Model-Based Testing IoT Communication via Active Automata Learning. CoRR Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
2019	—	`conf`	Predicting and Testing Latencies with Deep Learning: An IoT Case Study. TAP@FM Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm
2019	J	`jnl`	Probabilistic black-box reachability checking (extended version). Formal Methods Syst. Des. Bernhard K. Aichernig, Martin Tappler
2019	—	`conf`	Programming Behavioral Test Models for SMT Solving in Scala. ICST Workshops Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran
2019	J	`jnl`	Property-based testing of web services by deriving properties from business-rule models. Softw. Syst. Model. Bernhard K. Aichernig, Richard Schumi
2019	—	`conf`	Time to Learn - Learning Timed Automata from Tests. FORMATS Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
2018	B	`conf`	Automata Learning for Symbolic Execution. FMCAD Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, Johannes Winter
2018	—	`conf`	How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols. QEST Bernhard K. Aichernig, Richard Schumi
2018	J	`jnl`	Learning Timed Automata via Genetic Programming. CoRR Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, Florian Lorber
2018	—	`conf`	Model Learning and Model-Based Testing. Machine Learning for Dynamic Software Analysis Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
2018	J	`jnl`	Special section of Tests and Proofs 2016. Formal Aspects Comput. Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons
2018	Misc	`conf`	Statistical Model Checking of Response Times for Different System Deployments. SETTA Bernhard K. Aichernig, Severin Kann, Richard Schumi
2017	J	`jnl`	Bounded determinization of timed automata with silent transitions. Real Time Syst. Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
2017	C	`conf`	Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. ICTSS Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick
2017	J	`jnl`	Dependable Internet of Things for Networked Cars. Int. J. Comput. 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
2017	—	`conf`	Learning from Faults: Mutation Testing in Active Automata Learning. NFM Bernhard K. Aichernig, Martin Tappler
2017	A	`conf`	Model-Based Testing IoT Communication via Active Automata Learning. ICST Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
2017	B	`conf`	Probabilistic Black-Box Reachability Checking. RV Bernhard K. Aichernig, Martin Tappler
2017	—	`conf`	Property-Based Testing with External Test-Case Generators. ICST Workshops Bernhard K. Aichernig, Silvio Marcovic, Richard Schumi
2017	J	`jnl`	Require, test, and trace IT. Int. J. Softw. Tools Technol. Transf. Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
2017	A	`conf`	Statistical Model Checking Meets Property-Based Testing. ICST Bernhard K. Aichernig, Richard Schumi
2016	—	`conf`	Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking. Theory and Practice of Formal Methods Bernhard K. Aichernig, Florian Lorber, Martin Tappler
2016	J	`jnl`	Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. J. Log. Algebraic Methods Program. Bernhard K. Aichernig, Elisabeth Jöbstl, Martin Tappler
2016	Misc	`conf`	On-the-Fly Determinization of Bounded Networks of Timed Automata. TASE Bernhard K. Aichernig, Florian Lorber
2016	—	`conf`	Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. ICST Workshops Bernhard K. Aichernig, Richard Schumi
2016	—	`ed.`	Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings TAP@STAF Bernhard K. Aichernig, Carlo A. Furia
2016	C	`conf`	Towards integrating statistical model checking into property-based testing. MEMOCODE Bernhard K. Aichernig, Richard Schumi
2015	—	`conf`	Bounded Determinization of Timed Automata with Silent Transitions. FORMATS Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
2015	J	`jnl`	Bounded Determinization of Timed Automata with Silent Transitions. CoRR Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig
2015	J	`jnl`	Killing strategies for model-based mutation testing. Softw. Test. Verification Reliab. Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran
2015	A	`conf`	MoMut: : UML Model-Based Mutation Testing for UML. ICST Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl
2015	J	`jnl`	Model-based mutation testing via symbolic refinement checking. Sci. Comput. Program. Bernhard K. Aichernig, Elisabeth Jöbstl, Stefan Tiran
2015	C	`conf`	Require, Test and Trace IT. FMICS Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran
2015	—	`conf`	Scalable Incremental Test-case Generation from Large Behavior Models. TAP@STAF Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran
2015	—	`conf`	Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing. USE@FM Bernhard K. Aichernig, Martin Tappler
2015	—	`conf`	Towards generation of adaptive test cases from partial models of determinized timed automata. ICST Workshops Bernhard K. Aichernig, Florian Lorber
2014	B	`conf`	Debugging with Timed Automata Mutations. SAFECOMP Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber
2014	C	`conf`	Formal Test-Driven Development with Verified Test Cases. MODELSWARD Bernhard K. Aichernig, Florian Lorber, Stefan Tiran
2014	—	`conf`	Integration of Requirements Engineering and Test-Case Generation via OSLC. QSIC Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran
2014	—	`conf`	Model-Based Mutation Testing of an Industrial Measurement Device. TAP@STAF Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt
2014	J	`jnl`	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. Stefan J. Galler, Bernhard K. Aichernig
2013	—	`conf`	Incremental Refinement Checking for Test Case Generation. TAP@STAF Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele
2013	—	`conf`	Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation. Theories of Programming and Formal Methods Bernhard K. Aichernig
2013	—	`conf`	Time for Mutants - Model-Based Mutation Testing with Timed Automata. TAP@STAF Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic
2012	J	`jnl`	Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program. Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten
2012	—	`conf`	Efficient Refinement Checking for Model-Based Mutation Testing. QSIC Bernhard K. Aichernig, Elisabeth Jöbstl
2012	—	`ed.`	Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers FMCO Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue
2012	Misc	`conf`	Integrating Model-Based Testing and Analysis Tools via Test Case Exchange. TASE Bernhard K. Aichernig, Florian Lorber, Stefan Tiran
2012	—	`conf`	The Science of Killing Bugs in a Black Box - (Keynote Talk). SBLP Bernhard K. Aichernig
2012	—	`conf`	Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking MBT Bernhard K. Aichernig, Elisabeth Jöbstl
2012	A	`conf`	Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. ICST Bernhard K. Aichernig, Elisabeth Jöbstl
2011	C	`conf`	Compositional Random Testing Using Extended Symbolic Transition Systems. ICTSS Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa
2011	A	`conf`	Efficient Mutation Killers in Action. ICST Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
2011	J	`jnl`	UML in action: a two-layered interpretation for testing. ACM SIGSOFT Softw. Eng. Notes Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
2010	—	`conf`	Automated Conformance Verification of Hybrid Systems. QSIC Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig
2010	—	`conf`	Generating Distinguishing Tests Using the Minion Constraint Solver. ICST Workshops Franz Wotawa, Mihai Nica, Bernhard K. Aichernig
2010	A	`conf`	When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. ICST Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa
2009	—	`conf`	Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. MBT@ETAPS Bernhard K. Aichernig, Harald Brandl, Franz Wotawa
2009	—	`conf`	Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. 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, Wang Yi
2009	—	`conf`	Dynamic Symbolic Execution for Testing Distributed Objects. TAP@TOOLS Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
2009	—	`conf`	Dynamic Symbolic Execution of Distributed Concurrent Objects. FMOODS/FORTE Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
2009	J	`jnl`	Fault-Based Conformance Testing in Practice. Int. J. Softw. Informatics Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa
2009	Misc	`conf`	Fault-Based Test Case Generation for Component Connectors. TASE Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten
2009	—	`conf`	Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems. FMCO Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig
2009	—	`conf`	Model-Based Mutation Testing of Hybrid Systems. FMCO Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
2009	J	`jnl`	Mutation testing in UTP. Formal Aspects Comput. Bernhard K. Aichernig, Jifeng He
2009	C	`conf`	Qualitative Action Systems. ICFEM Bernhard K. Aichernig, Harald Brandl, Willibald Krenn
2009	—	`conf`	Resource Modeling for Timed Creol Models. TTSS Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas
2009	—	`conf`	Test Case Generation by Contract Mutation in Spec#. MBT@ETAPS Willibald Krenn, Bernhard K. Aichernig
2009	—	`conf`	The Credo Methodology - (Extended Version). FMCO Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer
2008	—	`conf`	Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam
2008	—	`conf`	Improving Fault-based Conformance Testing. MBT@ETAPS Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa
2008	—	`conf`	Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. TTSS Bernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam
2008	J	`jnl`	Software engineering and formal methods. Softw. Syst. Model. Bernhard K. Aichernig, Bernhard Beckert
2008	C	`conf`	Testing Concurrent Objects with Application-Specific Schedulers. ICTAC Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen
2008	—	`conf`	Unifying Input Output Conformance. UTP Martin Weiglhofer, Bernhard K. Aichernig
2007	—	`conf`	A Systematic Introduction to Mutation Testing in Unifying Theories of Programming. PSSE Bernhard K. Aichernig
2007	—	`conf`	Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. MBT Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
2007	—	`ed.`	Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006 Refine@ICFEM Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
2007	B	`conf`	Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. SEFM Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
2007	—	`conf`	Test purpose generation in an industrial application. A-MOST Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa
2006	B	`conf`	From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. FASE Bernhard K. Aichernig, Carlo Corrales Delgado
2006	—	`conf`	Preface. Refine@ICFEM Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
2006	—	`conf`	Refinement and Test Case Generation in UTP. Refine@ICFEM Bernhard K. Aichernig, Jifeng He
2006	—	`conf`	When Model-based Testing Fails. MBT Bernhard K. Aichernig, Chris George
2005	C	`conf`	Coalgebraic Component Specification and Verification in RSL. PDCAT Sun Meng, Bernhard K. Aichernig, Zhang Naixiao
2005	—	`conf`	Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed
2005	—	`conf`	Test Case Generation by OCL Mutation and Constraint Solving. QSIC Bernhard K. Aichernig, Percy Antonio Pari Salas
2005	B	`ed.`	Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany SEFM Bernhard K. Aichernig, Bernhard Beckert
2004	—	`conf`	A Coalgebraic Semantic Framework for Component-based Development in UML. CTCS Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao
2004	C	`conf`	Combining Algebraic and Model-Based Test Case Generation. ICTAC Li Dan, Bernhard K. Aichernig
2004	J	`jnl`	Modeling and Validating Hybrid Systems Using VDM and Mathematica CoRR Bernhard K. Aichernig, Reinhold Kainhofer
2003	—	`ed.`	Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers 10th Anniversary Colloquium of UNU/IIST Bernhard K. Aichernig, T. S. E. Maibaum
2003	J	`jnl`	Mutation Testing in the Refinement Calculus. Formal Aspects Comput. Bernhard K. Aichernig
2003	B	`conf`	The Commuting V-Diagram. CSL Bernhard K. Aichernig
2002	—	`conf`	Contract-Based Testing. 10th Anniversary Colloquium of UNU/IIST Bernhard K. Aichernig
2002	—	`conf`	Contract-based mutation testing in the refinement calculus. Refine Bernhard K. Aichernig
2001	J	`jnl`	Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas. J. Univers. Comput. Sci. Bernhard K. Aichernig, Brigitte Fröhlich, Andreas Kerschbaumer
2001	—	`conf`	Test-Case Calculation through Abstraction. FME Bernhard K. Aichernig
2001	J	`jnl`	Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus. J. Univers. Comput. Sci. Bernhard K. Aichernig
2000	—	`conf`	Formal specification techniques as a catalyst in validation. HASE Bernhard K. Aichernig, Andreas Gerstinger, Robert Aster
2000	—	`conf`	Requirements Validation of a Voice Communication System Used in Air Traffic Control. ICRE Johann Hörl, Bernhard K. Aichernig
2000	J	`jnl`	Validating Voice Communication Requirements Using Lightweight Formal Methods. IEEE Softw. Johann Hörl, Bernhard K. Aichernig
1999	B	`conf`	Automated Black-Box Testing with Abstract VDM Oracles. SAFECOMP Bernhard K. Aichernig
1999	—	`conf`	Formal Specification of a Voice Communication System Used in Air Traffic Control. World Congress on Formal Methods Johann Hörl, Bernhard K. Aichernig
1997	—	`conf`	A Proof Obligation Generator for VDM-SL. FME Bernhard K. Aichernig, Peter Gorm Larsen