Lazy symbolic evaluation and its path constraints solution | IEEE Conference Publication | IEEE Xplore