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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 10 Similar Profiles
Testing Engineering & Materials Science
Model checking Engineering & Materials Science
Web services Engineering & Materials Science
Business Rules Mathematics
Timed Automata Mathematics
Network protocols Engineering & Materials Science
Load testing Engineering & Materials Science
Web Services Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1997 2018

Automata Learning for Symbolic Execution

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J. 2018 FMCAD'18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.

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

Testing

Efficient Active Automata Learning via Mutation Testing

Aichernig, B. & Tappler, M. 25 Oct 2018 In : Journal of Automated Reasoning. p. 1 - 32 32 p.

Research output: Contribution to journalArticle

Open Access
Testing
Costs
Experiments

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 contribution

Model checking
Network protocols
Testing
Chemical analysis
Internet of things

Model Learning and Model-Based Testing

Aichernig, B., Mostowski, W., Mousavi, M. R., Tappler, M. & Taromirad, M. 20 Jul 2018 Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Bennaceur, A., Hähnle, R. & Meinke, K. (eds.). Cham: Springer Nature, p. 74 - 100 27 p. (Lecture Notes in Computer Science; vol. 11026)

Research output: Chapter in Book/Report/Conference proceedingChapter

Testing

Special section of Tests and Proofs 2016

Aichernig, B. K., Furia, C. A., Gaudel, M. C. & Hierons, R. 1 Nov 2018 In : Formal aspects of computing. 30, 6, p. 627-628 2 p.

Research output: Contribution to journalEditorial

Activities 1996 2018

Smart Black-box Testing

Aichernig, B. (Keynote speaker)
7 Dec 2018

Activity: Science to scienceInvited talk at conference or symposium

Smart Black-box Testing - Combining Model Learning and Model-based Testing

Aichernig, B. (Speaker)
10 Sep 2018

Activity: Science to scienceTalk at workshop, seminar or course

Model-based Mutation Testing - The Science of Killing Bugs in a Black Box

Aichernig, B. (Speaker)
11 Jun 2018

Activity: Science to scienceInvited talk at conference or symposium

Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing

Aichernig, B. (Speaker)
5 Jun 2018

Activity: Science to scienceInvited talk at conference or symposium

Smart Black-box Testing - Combining Model Learning and Model-based Testing

Aichernig, B. (Speaker)
11 Sep 2018

Activity: Science to scienceInvited talk

Projects 1995 2019

Formal Methods

Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

1/01/95 → …

Project: Research areaResearch Area

CRYSTAL - Critical Systems Engineering Factories

Lorber, F. L. & Aichernig, B.

1/05/1330/04/16

Project: Research project

EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems

Lorber, F. L., Tiran, S. & Aichernig, B.

1/11/1131/10/14

Project: Research project