Past-sensitive pointer analysis for symbolic execution.

David Trabish Timotej Kapus Noam Rinetzky Cristian Cadar

Published in: ESEC/SIGSOFT FSE (2020)

Keyphrases

database
data sets
databases
genetic algorithm
artificial intelligence
database systems
object oriented
symbolic execution