ecnusse/Kea2 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ecnusse/Kea2

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ecnusse/Kea2)

Close

ecnusse / Kea2View on GitHubMore

• External links
• Readme badge

Fusing automated UI testing with scripts (property-based testing) for effectively fuzzing Android apps

☆239Mar 16, 2026Updated last week

Alternatives and similar repositories for Kea2

Users that are interested in Kea2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• ecnusse / Kea

  View on GitHub
  Property-based Testing for Mobile GUI Apps
  ☆75May 22, 2025Updated 10 months ago
• ecnusse / HMDroidbot

  View on GitHub
  A lightweight HarmonyOS NEXT app tester.
  ☆31Apr 29, 2025Updated 10 months ago
• XYIheng / MobileAppTesting

  View on GitHub
  Mobile App Analysis and Testing Literature
  ☆105Nov 21, 2025Updated 4 months ago
• ecnu-sa-labs / ecnu-sa-labs

  View on GitHub
  Lab sessions for the software analysis course at East China Normal University.
  ☆180Dec 12, 2025Updated 3 months ago
• ecnusse / BinPRE

  View on GitHub
  ☆37Oct 25, 2024Updated last year
• setting-defect-fuzzing / home

  View on GitHub
  ☆37Jan 12, 2024Updated 2 years ago
• Android-Functional-bugs-study / home

  View on GitHub
  ☆20Jul 26, 2023Updated 2 years ago
• the-themis-benchmarks / home

  View on GitHub
  The Themis Benchmark for evaluating automated GUI testing
  ☆158Jan 8, 2024Updated 2 years ago
• tingsu / Stoat

  View on GitHub
  Stoat (STochastic model App Tester) - an automatic testing tool for android apps
  ☆154Apr 26, 2023Updated 2 years ago
• functional-fuzzing-android-apps / home

  View on GitHub
  ☆54Sep 7, 2022Updated 3 years ago
• testsmt / janus

  View on GitHub
  A tool for testing SMT solvers for incompleteness bugs
  ☆17Oct 12, 2022Updated 3 years ago
• testsmt / yinyang

  View on GitHub
  A fuzzing framework for SMT solvers
  ☆196Dec 1, 2025Updated 3 months ago
• jlintxia / iOStest

  View on GitHub
  ☆11Sep 8, 2021Updated 4 years ago
• cuhk-s3 / Creal

  View on GitHub
  ☆38Aug 21, 2025Updated 7 months ago
• columbia / neongoby

  View on GitHub
  NeonGoby alias analysis checker
  ☆14Jul 2, 2013Updated 12 years ago
• JZuming / TxCheck

  View on GitHub
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆53Jun 4, 2023Updated 2 years ago
• shao-hua-li / AFLplusplus-PGE

  View on GitHub
  ☆23Oct 28, 2022Updated 3 years ago
• shao-hua-li / UBGen

  View on GitHub
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆62May 16, 2025Updated 10 months ago
• sqlancer / bugs

  View on GitHub
  A list of bugs found by SQLancer
  ☆17Jan 30, 2024Updated 2 years ago
• SVF-tools / SVF-example

  View on GitHub
  An external project example using SVF as a library
  ☆24Mar 7, 2026Updated 2 weeks ago
• honeynet / droidbot

  View on GitHub
  A lightweight test input generator for Android. Similar to Monkey, but with more intelligence and cool features!
  ☆948Aug 16, 2024Updated last year
• tehwalris / forest

  View on GitHub
  A multi-cursor structural editor prototype for TypeScript
  ☆60Mar 4, 2023Updated 3 years ago
• shao-hua-li / CompDiff

  View on GitHub
  ☆36Apr 26, 2023Updated 2 years ago
• codeskyblue / uiautodev

  View on GitHub
  Mobile UI viewer in browser, view the UI in a tree view, and generate XPath automatically.
  ☆463Nov 23, 2025Updated 4 months ago
• terryso / AutoQA-Agent

  View on GitHub
  AutoQA-Agent 是一个基于 Claude Agent SDK 构建的开源自动化测试 CLI 工具
  ☆108Jan 15, 2026Updated 2 months ago
• letmeNo1 / Nico

  View on GitHub
  A framework for building Android automation based on adb commands
  ☆126Jul 29, 2025Updated 7 months ago
• TOLLER-Android / main

  View on GitHub
  ☆20Jul 15, 2023Updated 2 years ago
• srasthofer / FuzzDroid

  View on GitHub
  ☆22Feb 14, 2017Updated 9 years ago
• SVF-tools / SVF-Python

  View on GitHub
  Using SVF in Python Projects
  ☆15Updated this week
• perfmeta / perf-meta

  View on GitHub
  这是一款专业的性能评测工具，致力帮助全球企业提供低成本高可用的性能自动化评测算法服务，帮助企业降低人力成本提升性能评测效率。
  ☆73Mar 22, 2024Updated 2 years ago
• Python51888 / Midscene-Python

  View on GitHub
  Midscene Python 是一个基于AI的UI自动化测试框架，支持Web和Android平台。其核心创新在于使用自然语言驱动自动化任务，通过集成视觉语言模型（如GPT-4V、Qwen2.5-VL、Gemini）来理解用户意图并执行操作.
  ☆97Oct 4, 2025Updated 5 months ago
• anlalalu / Q-testing

  View on GitHub
  ☆26Dec 27, 2025Updated 2 months ago
• Yuyue / pullreq_ci

  View on GitHub
  The dataset of our FSE2015 submission.
  ☆11Mar 18, 2017Updated 9 years ago
• Practical-Formal-Methods / queryFuzz

  View on GitHub
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Jun 8, 2021Updated 4 years ago
• xiongyingfei / CitationAnalysis

  View on GitHub
  ☆39Dec 7, 2025Updated 3 months ago
• JetBrains-Research / gorshochek

  View on GitHub
  [WIP] A tool for C++ code modification to augment data for clone detection tools
  ☆10Jan 13, 2026Updated 2 months ago
• yagol2020 / SimADFuzz

  View on GitHub
  SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems
  ☆10Apr 11, 2025Updated 11 months ago
• Mythobeast / epidemicmodels

  View on GitHub
  SIR, SEIR, and beyond
  ☆10Jul 6, 2023Updated 2 years ago
• SonicCloudOrg / sonic-driver-core

  View on GitHub
  🎉The Sonic UIAutomation Driver Core. Sonic UI自动化Driver核心。
  ☆149Mar 25, 2025Updated 11 months ago