@misc{misc, title = {{Compositional Symbolic Execution through Program Specialization}}, url = {{}}, year = {{2013}}, month = {{1}}, author = {{Rojas JM and Pasareanu CS}}, journal = {{BYTECODE 2013, 8th Workshop on Bytecode Semantics, Verification, Analysis and Transformation}}, note = {{Accessed on 2025/06/26}}}