Hooman Asadian
Assistant with doctoral duties at Department of Information Technology; Division of Computer Systems
- E-mail:
- hooman.asadian@it.uu.se
- Visiting address:
- Hus 10, Regementsvägen 10
- Postal address:
- Box 337
751 05 UPPSALA
Short presentation
Currently, I mainly investigate the application of symbolic execution in network protocol testing.
Keywords
- Symbolic Execution
- Fuzz Testing
- Software Testing
Publications
Recent publications
Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP
Part of 2024 IEEE Conference on Standards for Communications and Networking (CSCN), p. 48-54, 2024
Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution
Part of 19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024, 2024
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
Part of 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), p. 70-81, 2022
All publications
Conference papers
Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP
Part of 2024 IEEE Conference on Standards for Communications and Networking (CSCN), p. 48-54, 2024
Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution
Part of 19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024, 2024
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
Part of 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), p. 70-81, 2022