August 25, 2023
New Lab Member! Welcome Pujan Budhathoki to our lab as a Ph.D. student.
July 31, 2023
New Published Paper! Qiping, Fadule & Jack have their paper titled “SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph”, being accepted by BRAINS 2023(https://brains.dnac.org/).
March 1, 2023
New Lab Member! Welcome Arjun Dahal to our lab as a Ph.D. student.
December 20, 2022
New Published Paper! Jack, Xiaolei & Qiping have their paper titled “MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts”, being accepted into ICST 2023. ICST is a major conference in Software Testing, and smart contract is an exciting application domain.
July 11, 2022
New Published Paper! Mengfei has her extension work of the first project being accepted by ACM Journal Digital Threats: Research and Practice, titled “Security Analysis of Zigbee Protocol Implementation”.
June 17, 2022
New Published Paper! Sunny and Jagan’s paper, titled “DeltaExplainer: A Software Debugging Approach to Generating Counterfactual Explanations”, has been accepted to AITest 2022
April 22, 2022
Thesis Defense! Ankita has successfully defended her Master’s thesis.
November 9, 2021
New NIST Grant! The National Institute Of Standards and Technology (NIST) supports our work on Explaining and Debugging decisions made by machine learning models with a three-year, $385,000 grant. [Read News]
August 18, 2021
Thesis Defense! Jaganmohan Chandrasekaran has successfully defended his Ph.D. dissertation titled “Testing AI-based Software Systems”.
May 24, 2021
Congratulation! Xiaolei Ren, Dr. Jiang Ming, and Dr. Jeff Lei won the PLDI 2021 Distinguished Paper Award for their paper Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study. PLDI is the flagship conference in the field of programming languages and programming systems research.
May 15, 2021
Thesis Defense! Feng Duan has successfully defended his Ph.D. dissertation.
May 15, 2021
Thesis Defense! Huadong (Jack) Feng has successfully defended his Ph.D. dissertation.
May 6, 2021
New Published Paper! Mengfei has her first paper accepted by WiSec’21. Her paper is titled as Z-Fuzzer: Device-agnostic Fuzzing of Zigbee Protocol Implementation.
May 6, 2021
New Published Paper! Xiaolei has his first paper accepted by PLDI’21. His paper is titled as Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study.
May 5, 2021
Mengfei has started her summer internship in Vehicle Security Testing at Toyota North America.
May 5, 2021
New Summer Dissertation Fellowship Award! Jagan has received the “Summer 2021 Dissertation Fellowship” award at UTA.
January 27, 2021
New Testing Tool! Congratulations Jack for his excellent work on testing smart contracts. He has just finished an external release of a tool called MagicMirror. NIST will make a public release of the tool.