Stars
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.
ecnusse / HMDroidbot
Forked from honeynet/droidbotA lightweight HarmonyOS NEXT app tester.
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"
[TMLR 2024] Efficient Large Language Models: A Survey
A curated list of resources for learning about application security
Curated list of project-based tutorials
数据库测试资料 This repo is a collection of resources on testing database systems
A curated list of awesome directed fuzzing research papers
Collection of advice for prospective and current PhD students
The official gpt4free repository | various collection of powerful language models | o4, o3 and deepseek r1, gpt-4.1, gemini 2.5
为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…
Master programming by recreating your favorite technologies from scratch.