Ana Cavalli
Institut Mines-Télécom(FR)Montimage (France)(FR)Sanofi (Brazil)(BR)Institut Polytechnique de Paris(FR)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Formal Methods in Verification, Network Security and Intrusion Detection, Software Reliability and Analysis Research, Advanced Malware Detection Techniques
Most-Cited Works
- → FSM-based conformance testing methods: A survey annotated with experimental evaluation(2010)148 cited
- → A passive testing approach based on invariants: application to the WAP(2005)104 cited
- → Generating Test Cases for a Timed I/O Automaton Model(1999)97 cited
- → New approaches for passive testing using an Extended Finite State Machine specification(2003)84 cited
- → Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services(1999)67 cited
- → Threatening the 5G core via PFCP DoS attacks: the case of blocking UAV communications(2022)52 cited