Compositional Symbolic Execution Using Fine-Grained Summaries | IEEE Conference Publication | IEEE Xplore