Paul Fiterau-Brostean

Registered user since Mon 21 Mar 2022

Name:Paul Fiterau-Brostean
Bio:

I am an assistant professor at Uppsala University in Sweden. My research lies in the area of software testing with focus on security testing and network protocol testing. More broadly, I am interested in developing and leveraging techniques based on formal methods to analyze real-world software. Automata learning is the technique I have worked with the most, having applied it extensively for network protocol testing. Other testing techniques I used are: symbolic execution, model checking and grey-box guided fuzzing. Check my website for more details.

Country:Sweden
Affiliation:Uppsala University
Research interests:Network Protocol Testing, Automata Learning, Model-based Testing, Symbolic Execution, Fuzzing

Contributions