· Yu, X., Liu, J., Yang, Z., & Liu, X. (2017). The Bayesian Network based program dependence graph and its application to fault localization .Journal of Systems and Software, 134, 44-53.
· Tian, Z., Liu, T., Zheng, Q., Zhuang, E., Fan, M., & Yang, Z. (2017). Reviving sequential program birthmarking for multithreaded software plagiarism detection. IEEE Transactions on Software Engineering, 44(5), 491-511.
· De Giacomo, G., & Vardi, M. (2015, June). The Bayesian Network based program dependence graph and its application to fault localization . In Twenty-Fourth International Joint Conference on Artificial Intelligence.
· Chakraborty, S., Fremont, D. J., Meel, K. S., Seshia, S. A., & Vardi, M. Y. (2014, June). Distribution-aware sampling and weighted model counting for SAT .In Twenty-Eighth AAAI Conference on Artificial Intelligence.
2021.05
2021.04
2021.03
2021.01
2020.12
2020.11
2020.10
2020.08
2020.05
2019.08
2019.07
2019.04