Bernhard Aichernig

Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.

1995 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution
2019

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Aichernig, B., 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Springer, Vol. 11885. p. 22-38 ( Lecture Notes in Computer Science; vol. 11885).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

L*-Based Learning of Markov Decision Processes

Tappler, M., Aichernig, B., Bacci, G., Eichlseder, M. & Larsen, K. G., 2019, Formal Methods - The Next 30 Years . ter Beek, M. H., McIver, A. & Oliveria, J. N. (eds.). Cham: Springer, p. 651 - 669 19 p. (Lecture Notes in Computer Science; vol. 11800).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Aichernig, B. K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M. & Tranninger, M., 2019, Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (eds.). Cham: Springer International Publishing AG , p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 11812).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learning-Based Testing of an Industrial Measurement Device

Aichernig, B., Burghard, C. & Korosec, R., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Springer, p. 1-18 (Lecture Notes in Computer Science; vol. 11460).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Aichernig, B., Pernkopf, F., Schumi, R. A. & Wurm, A., 2019, Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings. Springer, p. 93-111 (Lecture Notes in Computer Science; vol. 11823).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Programming Behavioral Test Models for SMT Solving in Scala

Aichernig, B., Maderbacher, B. & Tiran, S., 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, {ICST} Workshops 2019, Xi'an, China, April 22-23, 2019. IEEE Publications, p. 52-60

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B., Larsen, K. G. & Lorber, F., 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings. Springer, p. 216 - 235 20 p. (Lecture Notes in Computer Science; vol. 11750).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

Automata Learning for Symbolic Execution

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

How Fast is MQTT? Statistical Model Checking and Testing of IoT Protocols

Aichernig, B. K. & Schumi, R. A., 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018. Springer

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Statistical Model Checking of Response Times for Different System Deployments

Aichernig, B. K., Kann, S. & Schumi, R. A., 2018, Dependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018. Springer

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2017

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

Schumi, R. A., Lang, P., Aichernig, B. K., Krenn, W. & Schlick, R., 2017, 29th IFIP International Conference on Testing, Software and Systems (ICTSS 2017). Springer Verlag

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learning from Faults: Mutation Testing in Active Automata Learning

Aichernig, B. K. & Tappler, M., 2017, NASA Formal Methods - 9th International Symposium. Springer International Publishing AG , p. 19-34 16 p. (Lecture Notes in Computer Science; vol. 10227).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-Based Testing IoT Communication via Active Automata Learning

Tappler, M., Aichernig, B. K. & Bloem, R., 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). p. 276-287 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Probabilistic Black-Box Reachability Checking

Aichernig, B. & Tappler, M., Sep 2017, Runtime Verification, 17th International Conference. Springer International Publishing AG , p. 50-67 18 p. (Lecture Notes in Computer Science; vol. 10548).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Property-Based Testing with External Test-Case Generators

Aichernig, B. K., Marcovic, S. & Schumi, R. A., 2017, 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017. IEEE Computer Society, p. 337-346

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Statistical Model Checking Meets Property-Based Testing

Aichernig, B. K. & Schumi, R. A., 2017, 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017). IEEE Computer Society, p. 390-400

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2016

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

Aichernig, B. K., Lorber, F. & Tappler, M., 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Springer, Vol. 9660. p. 15-32 18 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Learning Models of a Network Protocol using Neural Network Language Models

Aichernig, B., Bloem, R., Pernkopf, F., Röck, F., Schrank, T. & Tappler, M., 2016, IEEE Symposium on Security and Privacy, SP 2016, San Jose, CA, USA, May 22-26, 2016.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

On-the-Fly Determinization of Networks of Timed Automata

Aichernig, B. K. & Lorber, F. L., 2016, Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China. IEEE Computer Society, p. 14-21 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Aichernig, B. K. & Schumi, R., 2016, Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016. IEEE Computer Society, p. 219-228 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Aichernig, B. K. & Tappler, M., 2016, The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings. p. 3-19 17 p. (Electronic Notes in Theoretical Computer Science; vol. 320).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Towards Integrating Statistical Model Checking into Property-Based Testing

Aichernig, B. K. & Schumi, R. A., 2016, 14th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2016, Kanpur, India, November 18-20, 2016. IEEE Computer Society, p. 71-76 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2015

Bounded Determinization of Timed Automata with Silent Transitions

Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., 2015, Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Berlin [u.a.]: Springer Verlag, Vol. 9268. p. 288-304 (Lecture Notes in Computer Science; vol. 9268).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

MoMuT::UML - model-based mutation testing for UML

Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W. K., Schlick, R. & Tiran, S., 2015, IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. Institute of Electrical and Electronics Engineers, p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Require, Test and Trace IT

Aichernig, B., Hörmaier, K., Lorber, F. L., Nickovic, D. & Tiran, S., 2015, Formal Methods for Industrial Critical Systems. Cham: Springer, p. 113-127 (Lecture Notes in Computer Science; vol. 9128).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Scalable Incremental Test-case Generation from Large Behavior Models

Aichernig, B., Nickovic, D. & Tiran, S., 2015, Tests and Proofs. Springer, Vol. 9154. p. 1-18 (LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata

Aichernig, B. & Lorber, F. L., 2015, Software Testing, Verification and Validation Workshops (ICSTW) 2015. ., p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File
2014

Debugging with Timed Automata Mutations

Aichernig, B., Hörmaier, K. & Lorber, F. L., 2014, Computer Safety, Reliability, and Security. Bondavalli, A. & Di Giandomenico, F. (eds.). Springer International Publishing AG , Vol. 8666. p. 49-64 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Formal Test-Driven Development with Verified Test Cases

Aichernig, B., Lorber, F. L. & Tiran, S., 2014, Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Lisbon: SCITEPRESS – Science and Technology Publications, p. 626-635

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Integration of Requirements Engineering and Test-Case Generation via OSLC

Aichernig, B., Hörmaier, K., Lorber, F., Nickovic, D., Schlick, R., Tiran, S. & Simoneau, D., 2014, 2014 14th International Conference on Quality Software. ., p. 117-126

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-Based Mutation Testing of an Industrial Measurement Device

Aichernig, B., Auer, J., Jöbstl, E., Korosec, R., Krenn, W., Schlick, R. & Schmidt, B. V., 2014, Tests and Proofs. Springer, Vol. 8570. p. 1-9 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2013

Incremental Refinement Checking for Test Case Generation

Aichernig, B., Jöbstl, E. & Kegele, M., 2013, Tests and Proofs. Springer, Vol. 7942. p. 1-19 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-based mutation testing of reactive systems - from semantics to automated test-case generation

Aichernig, B., 2013, Theories of Programming and Formal Methods. ., p. 23-36

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Time for Mutants —Model-based Mutation Testing with Timed Automata

Aichernig, B., Lorber, F. L. & Nickovic, D., 2013, Tests and Proofs . Springer, p. 20-38 (Lecture Notes in Computer Science; vol. 7942).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2012

Efficient Refinement Checking for Model-Based Mutation Testing

Aichernig, B. & Jöbstl, E., 2012, Proceedings of the 12th International Conference on Quality Software (QSIC 2012). IEEE Computer Society, p. 21-30

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Integrating model-based testing and analysis tools via test case exchange

Aichernig, B., Lorber, F. L. & Tiran, S., 2012, IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society, p. 119-126

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Aichernig, B., 2012, Programming Languages. Heidelberg [u.a.]: Springer Verlag, Vol. 7554. p. 6-11 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

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

Aichernig, B. & Jöbstl, E., 2012, Model-Based Testing (MBT). ., Vol. 80. p. 88-102 (Electronic Proceedings in Theoretical Computer Science (EPTCS)).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Aichernig, B. & Jöbstl, E., 2012, Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012). IEEE Computer Society, p. 752-757

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2011

Compositional Random Testing Using Extended Symbolic Transition Systems

Schwarzl, C., Aichernig, B. & Wotawa, F., 2011, Testing Software and Systems. Wolff, B. & Zaïdi, F. (eds.). Springer Verlag, Vol. 7019. p. 179-194 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Efficient Mutation Killers in Action

Aichernig, B., Brandl, H., Jöbstl, E. & Krenn, W., 2011, 2011 Fourth International Conference on Software Testing, Verification and Validation (ICST 2011). Institute of Electrical and Electronics Engineers, p. 120-129

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

UML in Action: A Two-Layered Interpretation for Testing

Aichernig, B., Brandl, H., Jöbstl, E. & Krenn, W., 2011, Third IEEE International workshop UML and Formal Methods (UML & FM 2010). Association of Computing Machinery, Vol. 36. p. 1-8 (ACM Software Engineering Notes).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2010

Automated Conformance Verification of Hybrid Systems

Brandl, H., Weiglhofer, M. & Aichernig, B., 2010, Proceedings of the 10th International Conference on Quality Software. IEEE Reliability Society, p. 3-12

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Generating Distinguishing Tests using the MINION Constraint Solver

Wotawa, F., Nica, M. & Aichernig, B., 2010, Proc. of the 2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10). ., p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems

Aichernig, B., 2010, Proc. of Formal Methods for Components and Objects (FMCO) 2009. ., Vol. 6286. p. 228-249 (LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Model-Based Mutation Testing of Hybrid Systems

Aichernig, B., Brandl, H., Jöbstl, E. & Krenn, W., 2010, Formal Methods for Components and Objects. ., p. 228-249 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

The Credo Methodology - (Extended Version)

Grabe, I., Jaghoori, M. M., Klein, J., Klüppelholz, S., Stam, A., Baier, C., Blechmann, T., Aichernig, B., de Boer, F. S. & Griesmayer, A., 2010, Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Springer Verlag, Vol. 6286. p. 41-69 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Unifying input output conformance

Weiglhofer, M. & Aichernig, B., 2010, Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland. ., p. 181-201 (LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Jöbstl, E., Weiglhofer, M., Aichernig, B. & Wotawa, F., 2010, 2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010). Institute of Electrical and Electronics Engineers, p. 479-488

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2009

Conformance Testing of Distributed Concurrent Systems with Executable Designs

Aichernig, B., Griesmayer, A., Broch Johnsen, E., Schlatte, R. & Stam, A., 2009, FMCO 2008: Formal Methods for Components and Objects. Springer Verlag, Vol. 5751. p. 61-81 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review