· 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


Team Building