Sign in

SYMBION: Interleaving Symbolic with Concrete Execution.

Fabio GrittiLorenzo FontanaEric GustafsonFabio PaganiAndrea ContinellaChristopher KruegelGiovanni Vigna
Published in: CNS (2020)
Keyphrases
  • case study
  • real time
  • neural network
  • information retrieval
  • genetic algorithm
  • search engine
  • three dimensional
  • high level
  • intermediate level
  • program execution
  • neural learning