eBPF Certificate Framework

Property-based Testing for Mobile GUI Apps

Academic Papers about LLM Application on Security

Fusing automated UI testing with scripts for effectively fuzzing Android apps

Defect Library for LLM-enabled Software

A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue

Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems

Enumerative Testing and Bounded Validation of SMT Solvers

Lab sessions for the software analysis course at East China Normal University.

Mobile UI viewer in browser, view the UI in a tree view, and generate XPath automatically.

An overview of property-based testing functionality

A lightweight HarmonyOS NEXT app tester.

Android Uiautomator2 Python Wrapper

AppAgent: Multimodal Agents as Smartphone Users, an LLM-based multimodal agent framework designed to operate smartphone apps.

Source code for the paper "Empowering LLM to use Smartphone for Intelligent Task Automation"

Android diary for any kind of activities

[TMLR 2024] Efficient Large Language Models: A Survey

一些关于写论文的教程,防止犯一些低级错误

Android open source calendar

论文写作与资料分享

A curated list of resources for learning about application security

Curated list of project-based tutorials

使用Soot进行android应用静态分析

本人的科研经验

A CAT called tabby ( Code Analysis Tool )

数据库测试资料 This repo is a collection of resources on testing database systems