🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Our recent work gets the media coverage, a neuron behavior-based method for fake face deteciton🧐

Our paper "Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning" received ASE Conference Distinguished Paper Award! So honored to have the chance to work with the brilliant students and netease AI team on the first game testing idea.

2 weeks in Tokyo/NII talking about SE for ML systems: amazed at the intellectual freedom and pursuit of quality as well as the kindness and the generosity of the people I met. Japan and its people never cease to impress me.

The 6th Distinguished Paper Award in last 4 years. Really proud of the team.

Looking for citations😛

4 papers accepted by #icse2020. Two fuzzing papers, one mobile vulnerability detection and DL security. Really proud of the hard working team. And looking fwd to the industry adoptions of our tools.

Multiple Postdoc Positions on Testing, Verification and Security Analysis for Hypervisor, Autonomous Vehicles, Deep Learning Algorithms and Block Chain and AI Chips ntu.edu.sg/home/yangliu/p…

Full room and a lot of enthusiasm Polytechnique Mtl GIGL’s department seminar with Lei Ma on the “Automatic Video Game Testing via Evolutionary Deep Reinforcement Learning”

Hard work pays off

Thanks for the invitation. Had a great discussion.

After years' R&D and tool development, Scantist is now offering SCA for all languages and binaries, full SAST for APK, fuzzing for C/C++ binaries, architecture analysis for all languages, and many more are coming. e27.co/adobe-thanked-…

A joint work with Lingling Fan(Lingling Fan), Sen Chen(@chensen518), Yang Liu(Liu Yang), Zhendong Su(Zhendong Su) and others.

Happy to see two papers accepted at @ASEconf2020, "Model-Based Robustness Analysis of Stateful Deep Learning Systems" and "Automated Testing for Deep Learning Frameworks". Congrats to my coauthors Dodo. Sg Qianyu Guo Lei Ma Liu Yang

Just made our recent survey on "smart contract formal specification and verification" available on arXiv: arxiv.org/abs/2008.02712 We've also built a dataset of relevant publications, called SCPub: ntu-srslab.github.io/smart-contract… Hope this can be useful for people working on the topic