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

☆257May 21, 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 / HMDroidbot

  View on GitHub
  A lightweight HarmonyOS NEXT app tester.
  ☆32Apr 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
  ☆108Apr 7, 2026Updated last month
• ecnu-sa-labs / ecnu-sa-labs

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

  View on GitHub
  ☆38Oct 25, 2024Updated last year
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• setting-defect-fuzzing / home

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

  View on GitHub
  ☆19Jul 26, 2023Updated 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,186Jun 20, 2025Updated 11 months ago
• tingsu / Stoat

  View on GitHub
  Stoat (STochastic model App Tester) - an automatic testing tool for android apps
  ☆154Apr 26, 2023Updated 3 years 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
• 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.
• 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
  ☆197Dec 1, 2025Updated 5 months ago
• cuhk-s3 / Creal

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

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

  View on GitHub
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆55Jun 4, 2023Updated 2 years ago
• hot-zhy / ecnu-junior-information

  View on GitHub
  移动与应用开发/函数语言/UML/并行程序设计/非关系数据库/计算机逻辑基础/OOAD/软件测试/算法/
  ☆20Mar 28, 2023Updated 3 years ago
• shao-hua-li / AFLplusplus-PGE

  View on GitHub
  ☆23Oct 28, 2022Updated 3 years 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
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• 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
  ☆24May 2, 2026Updated 3 weeks ago
• shao-hua-li / CompDiff

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

  View on GitHub
  ECNU软件工程课程资料整理。
  ☆68Sep 21, 2023Updated 2 years ago
• letmeNo1 / Nico

  View on GitHub
  A framework for building Android automation based on adb commands
  ☆126Jul 29, 2025Updated 9 months ago
• codeskyblue / uiautodev

  View on GitHub
  Mobile UI viewer in browser, view the UI in a tree view, and generate XPath automatically.
  ☆495Nov 23, 2025Updated 6 months ago
• jmid / pbt-frameworks

  View on GitHub
  An overview of property-based testing functionality
  ☆84Nov 12, 2025Updated 6 months ago
• TOLLER-Android / main

  View on GitHub
  ☆19Jul 15, 2023Updated 2 years ago
• perfmeta / perf-meta

  View on GitHub
  这是一款专业的性能评测工具，致力帮助全球企业提供低成本高可用的性能自动化评测算法服务，帮助企业降低人力成本提升性能评测效率。
  ☆73Mar 22, 2024Updated 2 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• PinjiaHe / StructureInvariantTesting

  View on GitHub
  Structure-Invariant Testing for Machine Translation [ICSE'20]
  ☆16Dec 17, 2020Updated 5 years ago
• Quantatirsk / paddleocr-vl-api

  View on GitHub
  High-performance OCR microservice based on PaddleOCR-VL-0.9B (PaddleOCR-VL-1.5-0.9B) with MinerU-compatible API
  ☆35Jan 30, 2026Updated 3 months ago
• MeYoung / Case_Minder_Vue

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

  View on GitHub
  ☆12Mar 5, 2026Updated 2 months 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