Cosmin Dragomir

According to our database, Cosmin Dragomir authored at least 2 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

<i>µ</i>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

2015

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

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

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015