Towards the Property-Based Testing of an L4 Microkernel API.

Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus

Browse the full VECoS paper archive.