Ana Cavalli

FSM-based conformance testing methods: A survey annotated with experimental evaluation

Rita Dorofeeva, Khaled El‐Fakih, Stéphane Maag et al. · Information and Software Technology · 2010 · 149 citations

Computing, Computer Science, Formal Methods +4

A passive testing approach based on invariants: application to the WAP

Emmanuel Bayse, Ana Cavalli, Manuel Núñez et al. · Computer Networks · 2005 · 104 citations

Computing, Computer Engineering, Computer Science +6

New approaches for passive testing using an Extended Finite State Machine specification

Ana Cavalli, Caroline Gervy, Svetlana Prokopenko · Information and Software Technology · 2003 · 84 citations

Computing, Computer Science, Computer Systems +11

Threatening the 5G core via PFCP DoS attacks: the case of blocking UAV communications

George Amponis, Panagiotis Radoglou‐Grammatikis, Wissam Mallouli et al. · EURASIP Journal on Wireless Communications and Networking · 2022 · 53 citations · Full text

Computing, Computer Science, Information Technology +17

5Greplay: a 5G Network Traffic Fuzzer - Application to Attack Injection

Zujany Salazar, Hữu Nghĩa Nguyễn, Wissam Mallouli et al. · 2021 · 52 citations · Full text

Computing, Computer Engineering, Computer Science +16