Skip to content

Pinned Loading

  1. IRFuzzer IRFuzzer Public

    [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation

    Python 24 4

  2. LLAMAFUZZ LLAMAFUZZ Public

    [AST'26] LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing

    Python 23 2

  3. UniTSyn UniTSyn Public

    [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing

    Python 12 1

  4. FuzzAug FuzzAug Public

    [EMNLP'25] FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation

    Python 9 1

  5. TF-Bench TF-Bench Public

    [NeurIPS'25] Evaluating Program Semantics Reasoning with Type Inference in System F

    Python 4

  6. CNTG CNTG Public

    [ISSRE 2026] LLM-based Invariant testing for Software Functional Bugs

    C++ 1

Repositories

Showing 10 of 42 repositories
  • ContractBench Public

    ContractBench: evaluating observation contract failures (validity + integrity) in LLM agents. 33 harbor-runnable API-contract tasks with deterministic programmatic evaluation.

    SecurityLab-UCD/ContractBench's past year of commit activity
    Python 1 MIT 0 3 1 Updated Sep 3, 2026
  • ContractBench-inspect Public

    Inspect AI eval for ContractBench — 33 observation-contract tasks (validity + integrity). Register-ready for inspect_evals.

    SecurityLab-UCD/ContractBench-inspect's past year of commit activity
    Python 0 0 0 0 Updated Jun 17, 2026
  • korabench Public Forked from korabench/benchmark

    Everything needed to run the KORA benchmark for AI Child Safety.

    SecurityLab-UCD/korabench's past year of commit activity
    TypeScript 0 Apache-2.0 17 1 0 Updated May 29, 2026
  • game-fuzz-trophies Public

    Archive Fuzzing Trophies for the Game Fuzz Project

    SecurityLab-UCD/game-fuzz-trophies's past year of commit activity
    0 0 0 0 Updated Mar 8, 2026
  • InvPT Public

    Invariant Pre-training for Robust Code Representation Learning

    SecurityLab-UCD/InvPT's past year of commit activity
    C# 1 0 0 0 Updated Mar 2, 2026
  • gamecov Public

    Map coverage for automated game play-testing

    SecurityLab-UCD/gamecov's past year of commit activity
    Python 0 0 1 0 Updated Feb 11, 2026
  • CNTG Public

    [ISSRE 2026] LLM-based Invariant testing for Software Functional Bugs

    SecurityLab-UCD/CNTG's past year of commit activity
    C++ 1 0 0 0 Updated Jan 28, 2026
  • CGNTG Public Forked from FuzzAnything/PromptFuzz

    PromtFuzz is an automated tool that generates high-quality fuzz drivers for libraries via a fuzz loop constructed on mutating LLMs' prompts.

    SecurityLab-UCD/CGNTG's past year of commit activity
    Rust 1 40 0 0 Updated Jan 25, 2026
  • oss-fuzz-lisa Public Forked from google/oss-fuzz

    OSS-Fuzz - continuous fuzzing for open source software.

    SecurityLab-UCD/oss-fuzz-lisa's past year of commit activity
    Shell 0 Apache-2.0 3,033 0 0 Updated Jan 13, 2026
  • vllm Public Forked from vllm-project/vllm

    A high-throughput and memory-efficient inference and serving engine for LLMs

    SecurityLab-UCD/vllm's past year of commit activity
    Python 0 Apache-2.0 22,416 0 0 Updated Dec 20, 2025

Most used topics

Loading…