MAFALDA: Microkernel Assessment by Fault Injection and Design Aid.

Manuel Rodrguez, Frdric Salles, Jean-Charles Fabre, Jean Arlat

Browse the full EDCC paper archive.