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

☆253Apr 29, 2026Updated this 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
  ☆76May 22, 2025Updated 11 months ago
• ecnusse / HMDroidbot

  View on GitHub
  A lightweight HarmonyOS NEXT app tester.
  ☆30Apr 29, 2025Updated last year
• ecnusse / Hydrangea

  View on GitHub
  Defect Library for LLM-enabled Software
  ☆25Dec 31, 2025Updated 4 months ago
• XYIheng / MobileAppTesting

  View on GitHub
  Mobile App Analysis and Testing Literature
  ☆107Apr 7, 2026Updated 3 weeks 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 4 months ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• setting-defect-fuzzing / home

  View on GitHub
  ☆38Jan 12, 2024Updated 2 years ago
• zoushibo123 / test_tool

  View on GitHub
  ☆15Apr 17, 2025Updated last year
• the-themis-benchmarks / home

  View on GitHub
  The Themis Benchmark for evaluating automated GUI testing
  ☆157Jan 8, 2024Updated 2 years ago
• wintered / ET

  View on GitHub
  A bounded exhaustive testing tool
  ☆23Jul 3, 2025Updated 10 months ago
• bytedance / Fastbot_Android

  View on GitHub
  Fastbot(2.0) is a model-based testing tool for modeling GUI transitions to discover app stability problems
  ☆1,183Jun 20, 2025Updated 10 months ago
• yagol2020 / Smart-Target

  View on GitHub
  Smart Contract Security Vulnerability Detection Method based on Target-guided Symbolic Execution
  ☆13Jul 24, 2022Updated 3 years ago
• functional-fuzzing-android-apps / home

  View on GitHub
  ☆52Sep 7, 2022Updated 3 years ago
• columbia / neongoby

  View on GitHub
  NeonGoby alias analysis checker
  ☆15Jul 2, 2013Updated 12 years ago
• shao-hua-li / AFLplusplus-PGE

  View on GitHub
  ☆23Oct 28, 2022Updated 3 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• 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 11 months ago
• yazhidev / SuperSwipeRefreshLayout

  View on GitHub
  支持下拉刷新、上拉刷新和在进入页面时就刷新, support pull down to refresh, pull up to refresh and refresh when activity was created
  ☆24Apr 26, 2016Updated 10 years ago
• sqlancer / bugs

  View on GitHub
  A list of bugs found by SQLancer
  ☆17Jan 30, 2024Updated 2 years ago
• honeynet / droidbot

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

  View on GitHub
  A multi-cursor structural editor prototype for TypeScript
  ☆60Mar 4, 2023Updated 3 years ago
• SVF-tools / SVF-example

  View on GitHub
  An external project example using SVF as a library
  ☆25Mar 7, 2026Updated last month
• shao-hua-li / CompDiff

  View on GitHub
  ☆36Apr 26, 2023Updated 3 years ago
• dwenking / ecnu-se-courses

  View on GitHub
  ECNU软件工程课程资料整理。
  ☆67Sep 21, 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.
  ☆489Nov 23, 2025Updated 5 months ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• terryso / AutoQA-Agent

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

  View on GitHub
  An overview of property-based testing functionality
  ☆84Nov 12, 2025Updated 5 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
• perfmeta / perf-meta

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

  View on GitHub
  This repository contains several examples of logic bomb.
  ☆118Dec 23, 2023Updated 2 years ago
• sunshine4me / OneBlockInstall

  View on GitHub
  ☆11Oct 21, 2016Updated 9 years ago
• compiler-research / pldi-tutorials-2023

  View on GitHub
  ☆11Mar 5, 2026Updated last month
• PinjiaHe / StructureInvariantTesting

  View on GitHub
  Structure-Invariant Testing for Machine Translation [ICSE'20]
  ☆16Dec 17, 2020Updated 5 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• MeYoung / Case_Minder_Vue

  View on GitHub
  Case_Minder_Vue 是适合测试使用的脑图，采用Vue全家桶+Element UI + Webpack实现
  ☆72Mar 3, 2021Updated 5 years ago
• Yuyue / pullreq_ci

  View on GitHub
  The dataset of our FSE2015 submission.
  ☆11Mar 18, 2017Updated 9 years ago
• SVF-tools / SVF-Python

  View on GitHub
  Using SVF in Python Projects
  ☆19Updated this week
• Practical-Formal-Methods / queryFuzz

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

  View on GitHub
  [WIP] A tool for C++ code modification to augment data for clone detection tools
  ☆10Jan 13, 2026Updated 3 months ago
• Python51888 / Midscene-Python

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

  View on GitHub
  Parrot - 基于标准化抓包的流量回放和结果验证工具；新版本请转到：https://github.com/idle-man/iParrot
  ☆13May 16, 2019Updated 6 years ago