@article{Gao2018, author = "Debin Gao and Michael K Reiter and Dawn Song", title = "{On Gray-Box Program Tracking for Anomaly Detection}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/On_Gray-Box_Program_Tracking_for_Anomaly_Detection/6469097", doi = "10.1184/R1/6469097.v1" }