Paul Fiterau Brostean
Lecturer at Institutionen för informationsteknologi; Vi3; Datavetenskapens didaktik
- E-mail:
- paul.fiterau_brostean@it.uu.se
- Visiting address:
- Hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
- ORCID:
- 0000-0002-5185-0035
More information is available to staff who log in.
Short presentation
I am a postdoctoral researcher/teacher at the Department of Information Technology. My research focuses on development of effective and automated methods for testing software. Methods include These methods involve formal methods such as automata learning, symbolic execution... The application area comprises software systems, with emphasis on network protocol implementations for Internet of Things.
You can find me in room 105264, and know more about me by visiting my web page.
Keywords
- automata learning
- network protocols
- testing
Publications
Recent publications
- Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification (2022)
- DTLS-Fuzzer (2022)
- Analysis of DTLS Implementations Using Protocol State Fuzzing (2020)
- Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations