Login / Signup

Efficient Data-Race Detection with Dynamic Symbolic Execution.

Andreas Ibing
Published in: FedCSIS (2016)
Keyphrases
  • data sets
  • training data
  • database
  • neural network
  • databases
  • search algorithm
  • multi objective
  • genetic programming