Towards the Property-Based Testing of an L4 Microkernel API. - Cosmin Dragomir; Lucian Mogosanu; Mihai Carabas; Razvan Deaconescu; Nicolae Tapus (VECoS, 2015)

µQC: a property-based testing framework for L4 microkernels. - Cosmin Dragomir; Lucian Mogosanu; Mihai Carabas; Razvan Deaconescu; Nicolae Tapus (Int. J. Crit. Comput. Based Syst., 2018)