Compositional Symbolic Execution: Incremental Solving Revisited | IEEE Conference Publication | IEEE Xplore