Return to Article Details Optimizing Symbolic Execution Path Exploration with a Transfer Learning-Based Strategy Download Download PDF