News
Congratulations to Qiping who has successfully defended her Ph.D. dissertation titled 'Enhancing Symbolic Execution for Solidity Smart Contracts'.
Welcome Sampada to our lab as Volunteer Research Assistant.
Congratulations to Sunny who has successfully defended his Ph.D. dissertation titled 'Leveraging Software Testing Techniques to Explain, Analyze, and Debug Machine Learning Models'.
Welcome Samreen to our lab as an M.S. Thesis student.
Welcome Shovon Niverd to our lab as a Ph.D. student.
Welcome Saif Uddin Mahmud to our lab as a Ph.D. student.
Welcome Pujan Budhathoki to our lab as a Ph.D. student.
Congratulations to Qiping, Fadule & Jack who have their paper titled "SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph", being accepted by BRAINS 2023.
Welcome Arjun Dahal to our lab as a Ph.D. student.
Congratulations to Jack, Xiaolei & Qiping who 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.
Congratulations to Mengfei who 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".
Sunny and Jagan's paper, titled "DeltaExplainer: A Software Debugging Approach to Generating Counterfactual Explanations", has been accepted to AITest 2022
Ankita has successfully defended her Master's thesis.
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.
Congratulations to Jaganmohan Chandrasekaran who has successfully defended his Ph.D. dissertation titled "Testing AI-based Software Systems".
Congratulations to Xiaolei Ren, Dr. Jiang Ming, and Dr. Jeff Lei who 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.
Congratulations to Feng Duan who has successfully defended his Ph.D. dissertation.
Congratulations to Huadong (Jack) Feng who has successfully defended his Ph.D. dissertation.
Congratulations to Mengfei who has her first paper accepted by WiSec'21. Her paper is titled as Z-Fuzzer: Device-agnostic Fuzzing of Zigbee Protocol Implementation.
Congratulations to Xiaolei who 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.
Congratulations to Jagan who has received the "Summer 2021 Dissertation Fellowship" award at UTA.
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.