The Optimization of a Symbolic Execution Engine for Detecting Runtime Errors.

István Kádár

Published in: Acta Cybern. (2017)

Keyphrases

execution engine
database
general purpose
third party