Andrea Pferscher
Andrea Pferscher
PhD-Student, Institute of Software Technology, Graz University of Technology
Email confirmado em
Citado por
Citado por
From Passive to Active: Learning Timed Automata Efficiently
BK Aichernig, A Pferscher, M Tappler
NASA Formal Methods Symposium, 1-19, 2020
AALpy: an active automata learning library
E Muškardin, BK Aichernig, I Pill, A Pferscher, M Tappler
Innovations in Systems and Software Engineering, 1-10, 2022
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
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning
A Pferscher, BK Aichernig
International Symposium on Formal Methods, 524-542, 2021
Learning Abstracted Non-deterministic Finite State Machines
A Pferscher, BK Aichernig
IFIP International Conference on Testing Software and Systems, 52-69, 2020
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
A Pferscher, BK Aichernig
NASA Formal Methods Symposium, 373-392, 2022
From passive to active: Learning timed automata efficiently
A Pferscher, B Aichernig, M Tappler
12th NASA Formal Methods Symposium, 1-19, 2020
Supplementary Material for “Learning Timed Automata via Genetic Programming”(2019)
M Tappler, A Pferscher
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
BK Aichernig, E Muškardin, A Pferscher
arXiv preprint arXiv:2209.14031, 2022
Constrained Training of Recurrent Neural Networks for Automata Learning
BK Aichernig, S König, C Mateis, A Pferscher, D Schmidt, M Tappler
International Conference on Software Engineering and Formal Methods, 155-172, 2022
Aspects of Learning-based Security Testing
B Aichernig, S Marksteiner, A Pferscher, R Schlick, G Stieglbauer
AVL ITS R&T Research Networking Day 2021, 2021
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–11