ISSTA/ECOOP 2024 (series) / 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
Personal website: https://paulfiterau.github.io/
Research interests:Network Protocol Testing, Automata Learning, Model-based Testing, Symbolic Execution, Fuzzing
Contributions
Using general profile