SymFusion: Hybrid Instrumentation for Concolic Execution.

Emilio Coppa Heng Yin Camil Demetrescu

Published in: ASE (2022)

Keyphrases

databases
information technology
execution model
database
real time
data sets
data mining
search engine
high level
data structure
data acquisition
hybrid approaches
concurrent execution