TY  - GEN

T1  - Compositional Symbolic Execution through Program Specialization

JO  - BYTECODE 2013, 8th Workshop on Bytecode Semantics, Verification, Analysis and Transformation

PY  - 2013/01/01

AU  - Rojas JM

AU  - Pasareanu CS

ED  - 

Y2  - 2024/12/22

ER  -