Separation Kernel Robustness Testing: The XtratuM Case Study. - Stephen Grixti; Nicholas Sammut; Maria Hernek; Elena Carrascosa; Miguel Masmano; Alfons Crespo (CLUSTER, 2016)