Bernhard K. Aichernig

According to our database1, Bernhard K. Aichernig authored at least 92 papers between 1997 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Learning Timed Automata via Genetic Programming.
CoRR, 2018

Statistical Model Checking of Response Times for Different System Deployments.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Model Learning and Model-Based Testing.
Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

2017
Require, test, and trace IT.
STTT, 2017

Bounded determinization of timed automata with silent transitions.
Real-Time Systems, 2017

Probabilistic Black-Box Reachability Checking.
Proceedings of the Runtime Verification - 17th International Conference, 2017

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles.
Proceedings of the Testing Software and Systems, 2017

Learning from Faults: Mutation Testing in Active Automata Learning - Mutation Testing in Active Automata Learning.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Model-Based Testing IoT Communication via Active Automata Learning.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Statistical Model Checking Meets Property-Based Testing.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Property-Based Testing with External Test-Case Generators.
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.
J. Log. Algebr. Meth. Program., 2016

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing.
Electr. Notes Theor. Comput. Sci., 2016

On-the-Fly Determinization of Bounded Networks of Timed Automata.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Towards integrating statistical model checking into property-based testing.
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.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Killing strategies for model-based mutation testing.
Softw. Test., Verif. Reliab., 2015

Model-based mutation testing via symbolic refinement checking.
Sci. Comput. Program., 2015

Bounded Determinization of Timed Automata with Silent Transitions.
CoRR, 2015

Scalable Incremental Test-case Generation from Large Behavior Models.
Proceedings of the Tests and Proofs - 9th International Conference, 2015

MoMut: : UML Model-Based Mutation Testing for UML.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Towards generation of adaptive test cases from partial models of determinized timed automata.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Bounded Determinization of Timed Automata with Silent Transitions.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Require, Test and Trace IT.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015

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

Model-Based Mutation Testing of an Industrial Measurement Device.
Proceedings of the Tests and Proofs - 8th International Conference, 2014

Debugging with Timed Automata Mutations.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Integration of Requirements Engineering and Test-Case Generation via OSLC.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

Formal Test-Driven Development with Verified Test Cases.
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.
Proceedings of the Tests and Proofs - 7th International Conference, 2013

Incremental Refinement Checking for Test Case Generation.
Proceedings of the Tests and Proofs - 7th International Conference, 2013

Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Connectors as designs: Modeling, refinement and test case generation.
Sci. Comput. Program., 2012

Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

Integrating Model-Based Testing and Analysis Tools via Test Case Exchange.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

The Science of Killing Bugs in a Black Box - (Keynote Talk).
Proceedings of the Programming Languages - 16th Brazilian Symposium, 2012

Efficient Refinement Checking for Model-Based Mutation Testing.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
UML in action: a two-layered interpretation for testing.
ACM SIGSOFT Software Engineering Notes, 2011

Compositional Random Testing Using Extended Symbolic Transition Systems.
Proceedings of the Testing Software and Systems, 2011

Efficient Mutation Killers in Action.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010
Resource Modeling for Timed Creol Models.
Electr. Notes Theor. Comput. Sci., 2010

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

Automated Conformance Verification of Hybrid Systems.
Proceedings of the 10th International Conference on Quality Software, 2010

Generating Distinguishing Tests Using the Minion Constraint Solver.
Proceedings of the Third International Conference on Software Testing, 2010

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.
Proceedings of the Third International Conference on Software Testing, 2010

2009
Fault-Based Conformance Testing in Practice.
Int. J. Software and Informatics, 2009

Mutation testing in UTP.
Formal Asp. Comput., 2009

Test Case Generation by Contract Mutation in Spec#.
Electr. Notes Theor. Comput. Sci., 2009

Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.
Electr. Notes Theor. Comput. Sci., 2009

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models.
Electr. Notes Theor. Comput. Sci., 2009

Fault-Based Test Case Generation for Component Connectors.
Proceedings of the TASE 2009, 2009

Dynamic Symbolic Execution for Testing Distributed Objects.
Proceedings of the Tests and Proofs, Third International Conference, 2009

Qualitative Action Systems.
Proceedings of the Formal Methods and Software Engineering, 2009

Dynamic Symbolic Execution of Distributed Concurrent Objects.
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.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

The Credo Methodology - (Extended Version).
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Model-Based Mutation Testing of Hybrid Systems.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

2008
Software engineering and formal methods.
Software and System Modeling, 2008

Improving Fault-based Conformance Testing.
Electr. Notes Theor. Comput. Sci., 2008

Unifying Input Output Conformance.
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

Testing Concurrent Objects with Application-Specific Schedulers.
Proceedings of the Theoretical Aspects of Computing, 2008

Conformance Testing of Distributed Concurrent Systems with Executable Designs.
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.
Electr. Notes Theor. Comput. Sci., 2007

Refinement and Test Case Generation in UTP.
Electr. Notes Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.
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.
Proceedings of the Testing Techniques in Software Engineering, 2007

Test purpose generation in an industrial application.
Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006
When Model-based Testing Fails.
Electr. Notes Theor. Comput. Sci., 2006

From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005
A Coalgebraic Semantic Framework for Component-based Development in UML.
Electr. Notes Theor. Comput. Sci., 2005

Integrating Theories and Techniques for Program Modelling, Design and Verification.
Proceedings of the Verified Software: Theories, 2005

Test Case Generation by OCL Mutation and Constraint Solving.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Coalgebraic Component Specification and Verification in RSL.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

2004
Modeling and Validating Hybrid Systems Using VDM and Mathematica
CoRR, 2004

Combining Algebraic and Model-Based Test Case Generation.
Proceedings of the Theoretical Aspects of Computing, 2004

2003
Mutation Testing in the Refinement Calculus.
Formal Asp. Comput., 2003

The Commuting V-Diagram.
Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002
Contract-based mutation testing in the refinement calculus.
Electr. Notes Theor. Comput. Sci., 2002

Contract-Based Testing.
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.
J. UCS, 2001

Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus.
J. UCS, 2001

Test-Case Calculation through Abstraction.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000
Validating Voice Communication Requirements Using Lightweight Formal Methods.
IEEE Software, 2000

Requirements Validation of a Voice Communication System Used in Air Traffic Control.
Proceedings of the 4th International Conference on Requirements Engineering, 2000

Formal specification techniques as a catalyst in validation.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1999
Automated Black-Box Testing with Abstract VDM Oracles.
Proceedings of the Computer Safety, 1999

Formal Specification of a Voice Communication System Used in Air Traffic Control.
Proceedings of the FM'99 - Formal Methods, 1999

1997
A Proof Obligation Generator for VDM-SL.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997


  Loading...