Repositories list

• Kea2

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

  androidproperty-based-testingkea+ 8fastbotuiautomator2harmonyosopenharmonylogic-bugscrashing-bugsauto-assertions+ 1

  HTML

  •

  Other

  •23•184•1•2•Updated Dec 17, 2025Dec 17, 2025

• Fastbot_Android

  Public
  Fastbot 3.0. The backend for Kea2.

  C++

  •

  Other

  •3•8•0•0•Updated Dec 9, 2025Dec 9, 2025

• SyzMini

  Public
  Go

  •0•9•0•0•Updated Nov 27, 2025Nov 27, 2025

• .github

  Public
  3•0•0•0•Updated Nov 13, 2025Nov 13, 2025

• Kea2_sample_report

  Public
  Sample report of Kea2

  HTML

  •0•0•0•0•Updated Oct 28, 2025Oct 28, 2025

• Hydrangea

  Public
  Defect Library for LLM-enabled Software

  airagllm

  Python

  •

  Other

  •3•23•0•0•Updated Oct 19, 2025Oct 19, 2025

• LOBE

  Public
  LLVM

  •0•3•1•0•Updated Oct 3, 2025Oct 3, 2025

• Kea

  Public
  Property-based Testing for Mobile GUI Apps

  androidproperty-based-testingfunctional-testing+ 3harmonyosfunctional-bugslogic-bugs

  Python

  •

  MIT License

  •14•75•2•0•Updated May 22, 2025May 22, 2025

• HMDroidbot

  Public
  A lightweight HarmonyOS NEXT app tester.

  Python

  •

  MIT License

  •255•31•0•0•Updated Apr 29, 2025Apr 29, 2025

• MetaLoc

  Public
  Rust

  •0•8•0•0•Updated Mar 14, 2025Mar 14, 2025

• BinPRE

  Public
  Python

  •5•35•1•0•Updated Oct 25, 2024Oct 25, 2024

• ifse

  Public
  IFSE is an open-souce tool that incorporates various existing techniques to integrate fuzz solving with symbolic execution

  C

  •

  BSD 2-Clause "Simplified" License

  •0•3•0•0•Updated Oct 10, 2024Oct 10, 2024

• ECNU-thesis-template

  Public
  华东师范大学硕士学位论文模版

  TeX

  •

  Other

  •10•0•0•0•Updated May 11, 2021May 11, 2021

• notes

  Public
  General repo for a new organization

  0•0•0•0•Updated Jun 30, 2020Jun 30, 2020