Symbolic execution of program paths involving pointer structure variables | IEEE Conference Publication | IEEE Xplore