Fredrik Tåkvist

PhD student at Department of Information Technology; Division of Computer Systems

E-mail:: fredrik.takvist@it.uu.se
Visiting address:: Hus 10, Regementsvägen 10
Postal address:: Box 337
751 05 UPPSALA

Download contact information for Fredrik Tåkvist at Department of Information Technology; Division of Computer Systems

Publications

Recent publications

Scalable Tree-based Register Automata Learning

Dierl, Simon; Fiterau-Brostean, Paul; Howar, Falk; Jonsson, Bengt et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 87-108, 2024
- DOI for Scalable Tree-based Register Automata Learning
- Download full text (pdf) of Scalable Tree-based Register Automata Learning
DTLS-Fuzzer: A DTLS Protocol State Fuzzer

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

Part of 2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), p. 456-458, 2022
- DOI for DTLS-Fuzzer: A DTLS Protocol State Fuzzer

All publications

Conference papers

Scalable Tree-based Register Automata Learning

Dierl, Simon; Fiterau-Brostean, Paul; Howar, Falk; Jonsson, Bengt et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 87-108, 2024
- DOI for Scalable Tree-based Register Automata Learning
- Download full text (pdf) of Scalable Tree-based Register Automata Learning
DTLS-Fuzzer: A DTLS Protocol State Fuzzer

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

Part of 2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), p. 456-458, 2022
- DOI for DTLS-Fuzzer: A DTLS Protocol State Fuzzer