SecurityLab @ UCDavis

Pinned Loading

1. IRFuzzer IRFuzzer Public

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

   Python 24 4

2. UniTSyn UniTSyn Public

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

   Python 12 1

3. FuzzAug FuzzAug Public

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

   Python 9 1

4. TF-Bench TF-Bench Public

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

   Python 4

5. CNTG CNTG Public

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

   C++ 1

6. ContractBench ContractBench Public

   [NeurIPS'26]ContractBench: evaluating observation contract failures (validity + integrity) in LLM agents.

   Python 4