Cosmin Dragomir

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 1

Top Topics

Evolutionary Algorithm

Top Venues

Int. J. Crit. Comput. Based Syst.

Publications

Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus
QC: a property-based testing framework for L4 microkernels. Int. J. Crit. Comput. Based Syst. 8 (1) (2018)
Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus
Towards the Property-Based Testing of an L4 Microkernel API. VECoS (2015)