1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LG2025
Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case
Delphine Longuet, Amira Elouazzani, Alejandro Penacho Riveiros +1
Failures in satellite components are costly and challenging to address, often requiring significant human and material resources. Embedding a hybrid AI-based system for fault detec…
cs.SE2022★ 1 cited
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee
Nicolas Berthier, Steven De Oliveira, Nikolai Kosmatov +2
Dynamic symbolic execution (DSE) is a powerful test generation approach based on an exploration of the path space of the program under test. Well-adapted for path coverage, this ap…