kupl/SeamFuzz-Artifact kupl/SeamFuzz-Artifact

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
    C
  • License
    Other
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kupl/SeamFuzz-Artifact
github

kupl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

SeamFuzz Artifact repository for ICSE 2023

More Repositories

1

VeriSmart-public

a safety verifier for Solidity smart contracts
OCaml
91
star
2

VeriSmart-benchmarks

Solidity
60
star
3

AlphaRegexPublic

OCaml
33
star
4

ParaDySE

C
32
star
5

adapt

ADAPT is the open source white-box testing framework for deep neural networks
Jupyter Notebook
20
star
6

npex

Java
14
star
7

MicSE

The Michelson Symbolic vErifier
OCaml
13
star
8

PyTER

Python
12
star
9

SmartFix-Artifact

Solidity
10
star
10

Graphick

Shell
8
star
11

HOMI_public

C++
8
star
12

LearnML

A framework for generating personalized feedbacks on functional programming assignments
OCaml
8
star
13

FixML

OCaml
7
star
14

Diver-Artifact

Python
7
star
15

Chameleon

C
6
star
16

synthrl

SynthRL [ˈsɪnθrɪl]
Python
5
star
17

SimplPublic

OCaml
5
star
18

pyter_tool

Python
4
star
19

starlab-benchmarks

Repository for Software STARLAB benchmarks
Java
4
star
20

Diver

Python
4
star
21

PL4XGL

Python
4
star
22

ConTest

C
3
star
23

SAVER_public

C
3
star
24

dd-klee

Data-driven symbolic execution engine, implemented on top of KLEE
C++
3
star
25

Compilers2020

OCaml
3
star
26

AAA528

AAA528 Computational Logic
OCaml
2
star
27

OBJ2CFA

Java
2
star
28

TestML

OCaml
2
star
29

qsyn

Artifact for paper Modular Component-based Quantum Circuit Synthesis
Python
2
star
30

AAA616-2022Fall

OCaml
2
star
31

Data-Driven-Pointsto-Analysis

Data-Driven Context-Sensitivity for Points-to Analysis
Shell
2
star
32

Compiler2017

Compiler 2017
OCaml
2
star
33

erc-group2-framework

Python
1
star
34

kaprese-engines

Python
1
star
35

SeamFuzz-public

Public repository for SeamFuzz
C
1
star
36

CutFuzz

Python
1
star
37

kupl.github.io

HTML
1
star
38

PL2016-HW5

OCaml
1
star
39

apps-sal

Programming Competition Style Python Codes Datasets
1
star
40

NPEX_Artifacts

1
star