tBPF: Testing Berkeley Packet Filter Programs Using User Mode Linux. - Alexis Brodeur; Guillaume Tassotti; Amine Boukhtouta; Abdeljouad Necir Medakene; Abdelouahed Gherbi (CloudCom, 2024)