Separation Kernel Robustness Testing: The XtratuM Case Study | Publicación