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

Cosmin Dragomir Lucian Mogosanu Mihai Carabas Razvan Deaconescu Nicolae Tapus

Published in: VECoS (2015)

Keyphrases

source code
open source
data sets
high level
real world
website
neural network
data mining
genetic algorithm
artificial intelligence
e learning
case study
optimal solution
evolutionary algorithm
test cases