Repositories list

• linux-kernel-enriched-corpus

  Public
  Linux Kernel Fuzzer Corpus

  healersyzkaller

  Python

  •

  MIT License

  •17•133•0•0•Updated Feb 8, 2025Feb 8, 2025

• fray

  Public
  A controlled concurrency testing framework for the JVM

  Kotlin

  •

  Apache License 2.0

  •0•11•11•0•Updated Feb 6, 2025Feb 6, 2025

• fray-examples

  Public
  Java

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Feb 5, 2025Feb 5, 2025

• date-time

  Public
  An Empirical Study of Date and Time Bugs in Open-Source Python Software.

  timedatetimedate+ 6static-analysistimezonedstcodeqlempirical-studysoftware-bugs

  Jupyter Notebook

  •

  MIT License

  •0•4•0•0•Updated Feb 4, 2025Feb 4, 2025

• fray-gradle-plugin

  Public
  Kotlin

  •

  GNU General Public License v3.0

  •0•2•0•0•Updated Dec 5, 2024Dec 5, 2024

• proptest.ai

  Public
  Website for AI-generated Property-Based Testing (PBT)

  HTML

  •0•8•0•0•Updated Oct 31, 2024Oct 31, 2024

• sort-benchmarks

  Public
  Simple programs for running mutation analysis experiments

  Java

  •1•0•0•1•Updated Oct 16, 2024Oct 16, 2024

• fray-maven-plugin

  Public
  Kotlin

  •0•0•0•0•Updated Aug 30, 2024Aug 30, 2024

• mu2

  Public
  Mutation-guided mutation-based fuzz testing

  Java

  •

  MIT License

  •7•41•1•0•Updated Jul 13, 2024Jul 13, 2024

• onward24

  Public
  Artifacts associated with the Onward! 24 paper "Software Engineering Methods For AI-Driven Deductive Legal Reasoning"

  Python

  •0•0•0•0•Updated Jun 27, 2024Jun 27, 2024

• dacapobench

  Public
  The DaCapo benchmark suite

  Java

  •

  Apache License 2.0

  •61•0•0•0•Updated Mar 3, 2024Mar 3, 2024

• .github

  Public
  0•0•0•0•Updated May 26, 2023May 26, 2023