Hooman Asadian

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 3

Top Topics

User Interaction

Test Data Generation

Symbolic Execution

Software Testing

Top Venues

Publications

Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas
Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution. ARES (2024)
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. ICST (2022)
Hooman Asadian, Hamid Haj Seyed Javadi
Identification of Sybil attacks on social networks using a framework based on user interactions. Secur. Priv. 1 (2) (2018)