Fredrik Tåquist

According to our database, Fredrik Tåquist authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Scalable Tree-based Register Automata Learning.

Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs.

Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations.

Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

2022

DTLS-Fuzzer: A DTLS Protocol State Fuzzer.

Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022