Repositories list

• project-minimization

  Public
  Project minimization tool aims to reduce size of projects localizing kotlin compiler faults

  Kotlin

  •11 fork in plan-research/project-minimization•11 star in plan-research/project-minimization•00 issues in plan-research/project-minimization•22 pull requests in plan-research/project-minimization•Updated May 13, 2025May 13, 2025

• jazzer

  Public
  Coverage-guided, in-process fuzzing for the JVM

  Java

  •

  Apache License 2.0

  •173173 forks in plan-research/jazzer•00 stars in plan-research/jazzer•00 issues in plan-research/jazzer•00 pull requests in plan-research/jazzer•Updated Mar 31, 2025Mar 31, 2025

• tga-pipeline

  Public
  Pipeline for automatic test generation assessment

  Kotlin

  •

  Apache License 2.0

  •33 forks in plan-research/tga-pipeline•1111 stars in plan-research/tga-pipeline•00 issues in plan-research/tga-pipeline•00 pull requests in plan-research/tga-pipeline•Updated Mar 10, 2025Mar 10, 2025

• casr-adapter

  Public
  Rust

  •

  Apache License 2.0

  •11 fork in plan-research/casr-adapter•11 star in plan-research/casr-adapter•00 issues in plan-research/casr-adapter•00 pull requests in plan-research/casr-adapter•Updated Feb 18, 2025Feb 18, 2025

• llm-gradle-converter

  Public
  Kotlin

  •11 fork in plan-research/llm-gradle-converter•00 stars in plan-research/llm-gradle-converter•00 issues in plan-research/llm-gradle-converter•00 pull requests in plan-research/llm-gradle-converter•Updated Jan 9, 2025Jan 9, 2025

• evokex

  Public
  EvoKex is an automatic test generation tool for Java that combines two different tools: EvoSuite and Kex.

  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks in plan-research/evokex•00 stars in plan-research/evokex•00 issues in plan-research/evokex•22 pull requests in plan-research/evokex•Updated Sep 30, 2024Sep 30, 2024

• cache-a-lot

  Public
  Cache-a-lot is a library over KSMT that tries to cache and reuse SMT Solver results

  Jupyter Notebook

  •00 forks in plan-research/cache-a-lot•00 stars in plan-research/cache-a-lot•00 issues in plan-research/cache-a-lot•00 pull requests in plan-research/cache-a-lot•Updated Jul 26, 2024Jul 26, 2024

• llm-pipeline

  Public
  Pipeline for processing LLM generated code to extract metrics

  Kotlin

  •00 forks in plan-research/llm-pipeline•22 stars in plan-research/llm-pipeline•00 issues in plan-research/llm-pipeline•00 pull requests in plan-research/llm-pipeline•Updated Jun 2, 2024Jun 2, 2024

• kotlin-maven

  Public
  Umbrella repo for maven packages

  00 forks in plan-research/kotlin-maven•00 stars in plan-research/kotlin-maven•00 issues in plan-research/kotlin-maven•00 pull requests in plan-research/kotlin-maven•Updated Feb 22, 2024Feb 22, 2024