Bernhard K. Aichernig

Formal Methods Syst. Des., August, 2022

AALpy: an active automata learning library.

[BibT_eX]

[DOI]

Ingo Pill

Innov. Syst. Softw. Eng., 2022

Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Constrained Training of Recurrent Neural Networks for Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Timed Automata Learning via SMT Solving.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Search-Based Testing of Reinforcement Learning.

[BibT_eX]

[DOI]

Filip Cano Córdoba

Bettina Könighofer

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Learning Finite State Models fromRecurrent Neural Networks.

[BibT_eX]

[DOI]

Ingo Pill

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

L<sup>*</sup>-based learning of Markov decision processes (extended version).

[BibT_eX]

[DOI]

Giovanni Bacci

Maria Eichlseder

Kim G. Larsen

Formal Aspects Comput., 2021

Active Model Learning of Stochastic Reactive Systems.

[BibT_eX]

[DOI]

Ingo Pill

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Learning-Based Fuzzing of IoT Message Brokers.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Special issue on testing extra-functional properties.

[BibT_eX]

[DOI]

Mehrdad Saadatmand

Birgitta Lindström

Softw. Test. Verification Reliab., 2020

Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning.

[BibT_eX]

[DOI]

Felix Wallner

Proceedings of the Tests and Proofs - 14th International Conference, 2020

A Formal Modeling Approach for Portable Low-Level OS Functionality.

[BibT_eX]

[DOI]

Renata Martins Gomes

Marcel Baunach

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Learning Abstracted Non-deterministic Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2020

Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT.

[BibT_eX]

[DOI]

Christian Burghard

Proceedings of the Testing Software and Systems, 2020

From Passive to Active: Learning Timed Automata Efficiently.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Step-Wise Development of Provably Correct Actor Systems.

[BibT_eX]

[DOI]

Benedikt Maderbacher

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019

Learning and statistical model checking of system response times.

[BibT_eX]

[DOI]

Softw. Qual. J., 2019

Property-based testing of web services by deriving properties from business-rule models.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2019

Efficient Active Automata Learning via Mutation Testing.

[BibT_eX]

[DOI]

J. Autom. Reason., 2019

Probabilistic black-box reachability checking (extended version).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version).

[BibT_eX]

[DOI]

CoRR, 2019

L*-Based Learning of Markov Decision Processes (Extended Version).

[BibT_eX]

[DOI]

Giovanni Bacci

Maria Eichlseder

Kim G. Larsen

CoRR, 2019

A Testing Perspective on Algebraic, Denotational, and Operational Semantics.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Predicting and Testing Latencies with Deep Learning: An IoT Case Study.

[BibT_eX]

[DOI]

Franz Pernkopf

Andreas Wurm

Proceedings of the Tests and Proofs - 13th International Conference, 2019

Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

Learning-Based Testing of an Industrial Measurement Device.

[BibT_eX]

[DOI]

Christian Burghard

Robert Korosec

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Programming Behavioral Test Models for SMT Solving in Scala.

[BibT_eX]

[DOI]

Benedikt Maderbacher

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Time to Learn - Learning Timed Automata from Tests.

[BibT_eX]

[DOI]

Kim Guldstrand Larsen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

L<sup>*</sup>-Based Learning of Markov Decision Processes.

[BibT_eX]

[DOI]

Giovanni Bacci

Maria Eichlseder

Kim G. Larsen

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Special section of Tests and Proofs 2016.

[BibT_eX]

[DOI]

Carlo A. Furia

Marie-Claude Gaudel

Robert M. Hierons

Formal Aspects Comput., 2018

Learning Timed Automata via Genetic Programming.

[BibT_eX]

[DOI]

Kim Guldstrand Larsen

CoRR, 2018

Statistical Model Checking of Response Times for Different System Deployments.

[BibT_eX]

[DOI]

Severin Kann

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Automata Learning for Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Model Learning and Model-Based Testing.

[BibT_eX]

[DOI]

Wojciech Mostowski

Mohammad Reza Mousavi

Masoumeh Taromirad

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

2017

Require, test, and trace IT.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

Bounded determinization of timed automata with silent transitions.

[BibT_eX]

[DOI]

Amnon Rosenmann

Dejan Nickovic

Real Time Syst., 2017

Dependable Internet of Things for Networked Cars.

[BibT_eX]

[DOI]

Bernhard Großwindhager

Int. J. Comput., 2017

Probabilistic Black-Box Reachability Checking.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 17th International Conference, 2017

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles.

[BibT_eX]

[DOI]

Priska Lang

Rupert Schlick

Proceedings of the Testing Software and Systems, 2017

Learning from Faults: Mutation Testing in Active Automata Learning.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Model-Based Testing IoT Communication via Active Automata Learning.

[BibT_eX]

[DOI]

Roderick Bloem

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Statistical Model Checking Meets Property-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Property-Based Testing with External Test-Case Generators.

[BibT_eX]

[DOI]

Silvio Marcovic

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

On-the-Fly Determinization of Bounded Networks of Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Towards integrating statistical model checking into property-based testing.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Killing strategies for model-based mutation testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2015

Model-based mutation testing via symbolic refinement checking.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

Scalable Incremental Test-case Generation from Large Behavior Models.

[BibT_eX]

[DOI]

Dejan Nickovic

Proceedings of the Tests and Proofs - 9th International Conference, 2015

MoMut: : UML Model-Based Mutation Testing for UML.

[BibT_eX]

[DOI]

Rupert Schlick

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Towards generation of adaptive test cases from partial models of determinized timed automata.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

Survey on test data generation tools - An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java.

[BibT_eX]

[DOI]

Stefan J. Galler

Int. J. Softw. Tools Technol. Transf., 2014

Model-Based Mutation Testing of an Industrial Measurement Device.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Debugging with Timed Automata Mutations.

[BibT_eX]

[DOI]

Klaus Hörmaier

Proceedings of the Computer Safety, Reliability, and Security, 2014

Integration of Requirements Engineering and Test-Case Generation via OSLC.

[BibT_eX]

[DOI]

Proceedings of the 2014 14th International Conference on Quality Software, 2014

Formal Test-Driven Development with Verified Test Cases.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2013

Time for Mutants - Model-Based Mutation Testing with Timed Automata.

[BibT_eX]

[DOI]

Dejan Nickovic

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Incremental Refinement Checking for Test Case Generation.

[BibT_eX]

[DOI]

Matthias Kegele

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Connectors as designs: Modeling, refinement and test case generation.

[BibT_eX]

[DOI]

Farhad Arbab

Lacramioara Astefanoaei

Jan J. M. M. Rutten

Sci. Comput. Program., 2012

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

Integrating Model-Based Testing and Analysis Tools via Test Case Exchange.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

The Science of Killing Bugs in a Black Box - (Keynote Talk).

[BibT_eX]

[DOI]

Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Efficient Refinement Checking for Model-Based Mutation Testing.

[BibT_eX]

[DOI]

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

UML in action: a two-layered interpretation for testing.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2011

Compositional Random Testing Using Extended Symbolic Transition Systems.

[BibT_eX]

[DOI]

Christian Schwarzl

Proceedings of the Testing Software and Systems, 2011

Efficient Mutation Killers in Action.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Automated Conformance Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Quality Software, 2010

Generating Distinguishing Tests Using the Minion Constraint Solver.

[BibT_eX]

[DOI]

Mihai Nica

Proceedings of the Third International Conference on Software Testing, 2010

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

2009

Fault-Based Conformance Testing in Practice.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2009

Mutation testing in UTP.

[BibT_eX]

[DOI]

Jifeng He

Formal Aspects Comput., 2009

Resource Modeling for Timed Creol Models.

[BibT_eX]

[DOI]

Marcel Kyas

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Test Case Generation by Contract Mutation in Spec#.

[BibT_eX]

[DOI]

Proceedings of Fifth Workshop on Model Based Testing, 2009

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.

[BibT_eX]

[DOI]

Immo Grabe

Mohammad Mahdi Jaghoori

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models.

[BibT_eX]

[DOI]

Proceedings of Fifth Workshop on Model Based Testing, 2009

Fault-Based Test Case Generation for Component Connectors.

[BibT_eX]

[DOI]

Farhad Arbab

Lacramioara Astefanoaei

Jan J. M. M. Rutten

Proceedings of the TASE 2009, 2009

Dynamic Symbolic Execution for Testing Distributed Objects.

[BibT_eX]

[DOI]

Einar Broch Johnsen

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

Qualitative Action Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

Dynamic Symbolic Execution of Distributed Concurrent Objects.

[BibT_eX]

[DOI]

Einar Broch Johnsen

Proceedings of the Formal Techniques for Distributed Systems, 2009

Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems.

[BibT_eX]

[DOI]

Rupert Schlick

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

The Credo Methodology - (Extended Version).

[BibT_eX]

[DOI]

Immo Grabe

Mohammad Mahdi Jaghoori

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Model-Based Mutation Testing of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008

Software engineering and formal methods.

[BibT_eX]

[DOI]

Bernhard Beckert

Softw. Syst. Model., 2008

Improving Fault-based Conformance Testing.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Model Based Testing, 2008

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.

[BibT_eX]

[DOI]

Andries Stam

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

Unifying Input Output Conformance.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

Testing Concurrent Objects with Application-Specific Schedulers.

[BibT_eX]

[DOI]

Einar Broch Johnsen

Proceedings of the Theoretical Aspects of Computing, 2008

Conformance Testing of Distributed Concurrent Systems with Executable Designs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

2007

Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers.

[BibT_eX]

[DOI]

Gordon Fraser

Proceedings of the Third Workshop on Model Based Testing, 2007

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.

[BibT_eX]

[DOI]

Bernhard Peischl

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

A Systematic Introduction to Mutation Testing in Unifying Theories of Programming.

[BibT_eX]

[DOI]

Proceedings of the Testing Techniques in Software Engineering, 2007

Test purpose generation in an industrial application.

[BibT_eX]

[DOI]

Bernhard Peischl

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

Refinement and Test Case Generation in UTP.

[BibT_eX]

[DOI]

Jifeng He

Proceedings of the 11th Refinement Workshop, 2006

When Model-based Testing Fails.

[BibT_eX]

[DOI]

Chris George

Proceedings of the Second Workshop on Model Based Testing, 2006

Preface.

[BibT_eX]

[DOI]

Eerke A. Boiten

John Derrick

Lindsay Groves

Proceedings of the 11th Refinement Workshop, 2006

From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems.

[BibT_eX]

[DOI]

Carlo Corrales Delgado

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005

Integrating Theories and Techniques for Program Modelling, Design and Verification.

[BibT_eX]

[DOI]

Jifeng He

Zhiming Liu

Mike Reed

Proceedings of the Verified Software: Theories, 2005

Test Case Generation by OCL Mutation and Constraint Solving.

[BibT_eX]

[DOI]

Percy Antonio Pari Salas

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Coalgebraic Component Specification and Verification in RSL.

[BibT_eX]

[DOI]

Zhang Naixiao

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

2004

A Coalgebraic Semantic Framework for Component-based Development in UML.

[BibT_eX]

[DOI]

Luís Soares Barbosa

Zhang Naixiao

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

Modeling and Validating Hybrid Systems Using VDM and Mathematica

[BibT_eX]

[DOI]

Reinhold Kainhofer

CoRR, 2004

Combining Algebraic and Model-Based Test Case Generation.

[BibT_eX]

[DOI]

Li Dan

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Mutation Testing in the Refinement Calculus.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2003

The Commuting V-Diagram.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Contract-based mutation testing in the refinement calculus.

[BibT_eX]

[DOI]

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Contract-Based Testing.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

2001

Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas.

[BibT_eX]

[DOI]

Brigitte Fröhlich

Andreas Kerschbaumer

J. Univers. Comput. Sci., 2001

Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2001

Test-Case Calculation through Abstraction.

[BibT_eX]

[DOI]

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Validating Voice Communication Requirements Using Lightweight Formal Methods.

[BibT_eX]

[DOI]

Johann Hörl

IEEE Softw., 2000

Requirements Validation of a Voice Communication System Used in Air Traffic Control.

[BibT_eX]

[DOI]

Johann Hörl

Proceedings of the 4th International Conference on Requirements Engineering, 2000

Formal specification techniques as a catalyst in validation.

[BibT_eX]

[DOI]

Andreas Gerstinger

Robert Aster

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999

Automated Black-Box Testing with Abstract VDM Oracles.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 1999

Formal Specification of a Voice Communication System Used in Air Traffic Control.

[BibT_eX]

[DOI]

Johann Hörl

Proceedings of the FM'99 - Formal Methods, 1999

1997

A Proof Obligation Generator for VDM-SL.

[BibT_eX]

[DOI]