Martin Tappler
Martin Tappler
Schaffhausen Institute of Technology
Verified email at sit.org - Homepage
Title
Cited by
Cited by
Year
Model-based testing IoT communication via active automata learning
M Tappler, BK Aichernig, R Bloem
2017 IEEE International Conference on Software Testing, Verification and …, 2017
422017
Model learning and model-based testing
BK Aichernig, W Mostowski, MR Mousavi, M Tappler, M Taromirad
Machine Learning for Dynamic Software Analysis: Potentials and Limits, 74-100, 2018
222018
DEPENDABLE INTERNET OF THINGS FOR NETWORKED CARS
B Großwindhager, A Rupp, M Tappler, M Tranninger, S Weiser, ...
International Journal of Computing 16 (4), 226-237, 2017
172017
Learning from Faults: Mutation Testing in Active Automata Learning
BK Aichernig, M Tappler
NASA Formal Methods Symposium, 19-34, 2017
142017
Efficient active automata learning via mutation testing
BK Aichernig, M Tappler
Journal of Automated Reasoning 63 (4), 1103-1134, 2019
102019
Symbolic input-output conformance checking for model-based mutation testing.
BK Aichernig, M Tappler
Electron. Notes Theor. Comput. Sci. 320, 3-19, 2016
102016
Time to Learn–Learning Timed Automata from Tests
M Tappler, BK Aichernig, KG Larsen, F Lorber
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
72019
Probabilistic Black-Box Reachability Checking
BK Aichernig, M Tappler
International Conference on Runtime Verification, 50-67, 2017
72017
-Based Learning of Markov Decision Processes
M Tappler, BK Aichernig, G Bacci, M Eichlseder, KG Larsen
International Symposium on Formal Methods, 651-669, 2019
52019
Automata Learning for Symbolic Execution
B Aichernig, R Bloem, M Ebrahimi, M Tappler, J Winter
Proceedings of the 18th Conference on Formal Methods in Computer-Aided …, 2018
42018
Conformance Checking of Real-Time Models
BK Aichernig, F Lorber, M Tappler
Essays Dedicated to Frank de Boer on Theory and Practice of Formal Methods …, 2016
42016
Probabilistic black-box reachability checking (extended version)
BK Aichernig, M Tappler
Formal methods in system design 54 (3), 416-448, 2019
32019
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
BK Aichernig, R Bloem, M Ebrahimi, M Horn, F Pernkopf, W Roth, A Rupp, ...
IFIP International Conference on Testing Software and Systems, 3-21, 2019
32019
Supplementary Material for “Learning Timed Automata via Genetic Programming”
M Tappler, A Pferscher
22019
Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation
BK Aichernig, E Jöbstl, M Tappler
Journal of Logical and Algebraic Methods in Programming 85 (5), 806-823, 2016
22016
Poster: Learning models of a network protocol using neural network language models
B Aichernig, R Bloem, F Pernkopf, F Röck, T Schrank, M Tappler
IEEE Secur. Priv, 2016
22016
From Passive to Active: Learning Timed Automata Efficiently
A Pferscher, B Aichernig, M Tappler
12th NASA Formal Methods Symposium, 2020
12020
Learning Timed Automata via Genetic Programming
M Tappler, BK Aichernig, KG Larsen, F Lorber
arXiv preprint arXiv:1808.07744, 2018
12018
Adaptive Shielding under Uncertainty
S Pranger, B Könighofer, M Tappler, M Deixelberger, N Jansen, R Bloem
arXiv preprint arXiv:2010.03842, 2020
2020
Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning
BK Aichernig, M Tappler, F Wallner
International Conference on Tests and Proofs, 3-22, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20