| 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 | 144 | 2017 |
| Time for mutants—model-based mutation testing with timed automata BK Aichernig, F Lorber, D Ničković International Conference on Tests and Proofs, 20-38, 2013 | 118 | 2013 |
| Test case generation by OCL mutation and constraint solving BK Aichernig, PAP Salas Fifth International Conference on Quality Software (QSIC'05), 64-71, 2005 | 111 | 2005 |
| AALpy: an active automata learning library E Muškardin, BK Aichernig, I Pill, A Pferscher, M Tappler Innovations in Systems and Software Engineering 18 (3), 417-426, 2022 | 108 | 2022 |
| Killing strategies for model‐based mutation testing BK Aichernig, H Brandl, E Jöbstl, W Krenn, R Schlick, S Tiran Software Testing, Verification and Reliability 25 (8), 716-748, 2015 | 100 | 2015 |
| Momut:: UML model-based mutation testing for UML W Krenn, R Schlick, S Tiran, B Aichernig, E Jobstl, H Brandl 2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015 | 94 | 2015 |
| 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 …, 2018 | 71 | 2018 |
| Survey on test data generation tools: An evaluation of white-and gray-box testing tools for C#, C++, Eiffel, and Java SJ Galler, BK Aichernig International Journal on Software Tools for Technology Transfer 16 (6), 727-751, 2014 | 61 | 2014 |
| Model-based mutation testing of an industrial measurement device BK Aichernig, J Auer, E Jöbstl, R Korošec, W Krenn, R Schlick, ... International Conference on Tests and Proofs, 1-19, 2014 | 59 | 2014 |
| Mutation testing in the refinement calculus BK Aichernig Formal Aspects of Computing 15 (2), 280-295, 2003 | 53 | 2003 |
| A proof obligation generator for VDM-SL BK Aichernig, PG Larsen FME'97: Industrial Applications and Strengthened Foundations of Formal …, 1997 | 52 | 1997 |
| 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 | 48 | 2019 |
| Automated conformance verification of hybrid systems H Brandl, M Weiglhofer, BK Aichernig 2010 10th International Conference on Quality Software, 3-12, 2010 | 48 | 2010 |
| Protocol conformance testing a SIP registrar: An industrial application of formal methods BK Aichernig, B Peischl, M Weiglhofer, F Wotawa Fifth IEEE International Conference on Software Engineering and Formal …, 2007 | 48 | 2007 |
| From faults via test purposes to test cases: On the fault-based testing of concurrent systems BK Aichernig, CC Delgado International Conference on Fundamental Approaches to Software Engineering …, 2006 | 48 | 2006 |
| Connectors as designs: Modeling, refinement and test case generation S Meng, F Arbab, BK Aichernig, L Aştefănoaei, FS de Boer, J Rutten Science of Computer Programming 77 (7-8), 799-822, 2012 | 47* | 2012 |
| Learning-based fuzzing of IoT message brokers BK Aichernig, E Muškardin, A Pferscher 2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021 | 46 | 2021 |
| Efficient active automata learning via mutation testing BK Aichernig, M Tappler Journal of Automated Reasoning 63 (4), 1103-1134, 2019 | 46* | 2019 |
| Mutation testing in UTP BK Aichernig, H Jifeng Formal Aspects of Computing 21, 33-64, 2009 | 46 | 2009 |
| From passive to active: learning timed automata efficiently BK Aichernig, A Pferscher, M Tappler NASA Formal Methods Symposium, 1-19, 2020 | 43 | 2020 |
Martin TapplerTU WienVerified email at tuwien.ac.at
