@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 2024/12/22}}}