Symbolic execution for memory consumption analysis.

Duc-Hiep Chu Joxan Jaffar Rasool Maghareh

Published in: LCTES (2016)

Keyphrases

relational databases
static analysis
symbolic execution
artificial intelligence
distributed systems
machine vision