Paper Accepted by ASE 2020

One paper entitled Towards Interpreting Recurrent Neural Network through Probabilistic Abstraction is accepted by ASE 2020. This work bridges the gap between black-box recurrent neural networks (RNN) and model-based analysis approaches by automat...

Honored to Win the ACM SIGSOFT Distinguished Paper Award at ICSE 2020

Our paper White-box Fairness Testing through Adversarial Sampling is honored to win the ACM SIGSOFT Distinguished Paper Award at ICSE 2020 (10 out of 129)! Congratulations to all the co-authors.

Paper Accepted by ICSE 2020

One paper entitled White-box Fairness Testing through Adversarial Sampling is accepted by ICSE 2020. This work pushes forward fairness testing to be applicable for large-scale deep neural networks.

Attended ICSE 2019

I attended ICSE 2019 at Montreal, Canada and presented our work Adversarial Sample Detection for Deep Neural Networks through Model Mutation Testing. [slide, code]