Linear-time Temporal Logic guided Greybox Fuzzing

بواسطة Meng, Ruijie, Dong, Zhen, Li, Jialin, Beschastnikh, Ivan, Roychoudhury, Abhik
منشور في 2023

Synergizing specification miners through model fissions and fusions

بواسطة LE BUI TIEN DUY, LE DINH XUAN BACH, David LO, BESCHASTNIKH, Ivan
منشور في 2016

Self-checking deep neural networks for anomalies and adversaries in deployment

بواسطة XIAO, Yan, BESCHASTNIKH, Ivan, LIN, Yun, HUNDAL, Rajdeep Singh, XIE, Xiaofei, ROSENBLUM, David S., DONG, Jin Song
منشور في 2022