Follow
Andrea Pferscher
Andrea Pferscher
PhD-Student, Institute of Software Technology, Graz University of Technology
Verified email at ist.tugraz.at
Title
Cited by
Cited by
Year
From Passive to Active: Learning Timed Automata Efficiently
BK Aichernig, A Pferscher, M Tappler
NASA Formal Methods Symposium, 1-19, 2020
162020
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
142022
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
92021
Learning Abstracted Non-deterministic Finite State Machines
A Pferscher, BK Aichernig
IFIP International Conference on Testing Software and Systems, 52-69, 2020
72020
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning
A Pferscher, BK Aichernig
International Symposium on Formal Methods, 524-542, 2021
62021
From passive to active: Learning timed automata efficiently
A Pferscher, B Aichernig, M Tappler
12th NASA Formal Methods Symposium, 1-19, 2020
22020
Supplementary Material for “Learning Timed Automata via Genetic Programming”(2019)
M Tappler, A Pferscher
2
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
A Pferscher, BK Aichernig
NASA Formal Methods Symposium, 373-392, 2022
12022
Constrained Training of Recurrent Neural Networks for Automata Learning
B Aichernig, S König, C Mateis, A Pferscher, D Schmidt, M Tappler
20th International Conference on Software Engineering and Formal Methods, 2022
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
2021
The system can't perform the operation now. Try again later.
Articles 1–10