Skip to content

Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction

by Mingyue Yang, David Lie and Nicolas Papernot
Reference:
Mingyue Yang, David Lie and Nicolas Papernot, “Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction”, In Proceedings of the 31st IEEE International Conference on Software Analysis (SANER), 2024. (To appear.)
Bibtex Entry:
@string{saner2024="Proceedings of the 31st IEEE International Conference on Software Analysis (SANER)"}
@inproceedings{syang:saner2024:mlsymbex,
  author          = {Mingyue Yang and David Lie and Nicolas Papernot},
  title       	  = {Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction},
  booktitle       = SANER2024,
  year            = {2024},
  month 		  = mar,
  note			  = {(Acceptance: 62/242, 25.6\%). To appear.},
  comment		  = {To appear.},
  url             = {https://security.csl.toronto.edu/wp-content/uploads/2024/01/syang-saner2024-ml-symbex.pdf},
}