Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors.

Published in: ICCSA (5) (2015)

Keyphrases