Repositories list

• linux-kernel-enriched-corpus

  Public
  Linux Kernel Fuzzer Corpus

  healersyzkaller

  Python

  •

  MIT License

  •15•131•0•0•Updated Oct 3, 2024Oct 3, 2024

• fray

  Public
  A general-purpose concurrency testing framework

  Kotlin

  •

  GNU General Public License v3.0

  •0•5•6•0•Updated Sep 2, 2024Sep 2, 2024

• fray-maven-plugin

  Public
  Kotlin

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

• fray-gradle-plugin

  Public
  Kotlin

  •

  GNU General Public License v3.0

  •0•2•0•0•Updated Aug 29, 2024Aug 29, 2024

• fray-examples

  Public
  Java

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Aug 15, 2024Aug 15, 2024

• mu2

  Public
  Mutation-guided mutation-based fuzz testing

  Java

  •

  MIT License

  •6•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

  •60•0•0•0•Updated Mar 3, 2024Mar 3, 2024

• proptest.ai

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

  HTML

  •0•8•0•0•Updated Jan 31, 2024Jan 31, 2024

• sort-benchmarks

  Public
  Simple programs for running mutation analysis experiments

  Java

  •1•0•0•1•Updated Jun 21, 2023Jun 21, 2023

• .github

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