Registered user since Sun 16 Jul 2017
Name:Yang Liu
Country:Singapore
Affiliation:Nanyang Technological University, Singapore
Personal website: http://www.ntu.edu.sg/home/yangliu/
Research interests:Formal Methods, Software Engineering, Security
Contributions
2020
ASE
- Audee: Automated Testing for Deep Learning Frameworks
- Committee Member in Program Committee within the Research Papers-track
- MARBLE: Model-Based Robustness Analysis of Stateful Deep Learning Systems
- Automated Third-party Library Detection for Android Applications: Are We There Yet?
- Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness
- SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementions
ASE 2020-profile
View general profile
View general profile