Login / Signup

QC: a property-based testing framework for L4 microkernels.

Cosmin DragomirLucian MogosanuMihai CarabasRazvan DeaconescuNicolae Tapus
Published in: Int. J. Crit. Comput. Based Syst. (2018)
Keyphrases
  • main contribution
  • test set
  • theoretical framework
  • real time
  • databases
  • social networks
  • information systems
  • image processing
  • website
  • multiscale
  • user interface
  • probabilistic model
  • key properties