Vol-3566⫷ Vol-3567 ⫸Vol-3568
urn:nbn:de:0074-3567-0


Vol-3567/paper6⫷Vol-3567/paper7
Michel Maes-BermejoGregorio RoblesMicael GallegoPaul SherwoodJesús M. González-BarahonaDaniel Izquierdo 0001

Towards producing a ground-truth dataset of safety bugs in the Linux Kernel