1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SP2025
6G Resilience -- White Paper
Hirley Alves, Nurul H. Mahmood, Onel L. A. López +36
6G must be designed to withstand, adapt to, and evolve amid prolonged, complex disruptions. Mobile networks' shift from efficiency-first to sustainability-aware has motivated this…
cs.FL2023★ 1 cited
Symbolic Path-guided Test Cases for Models with Data and Time
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall +1
This paper focuses on generating test cases from timed symbolic transition systems. At the heart of the generation process are symbolic execution techniques on data and time. Test…