Skip to content
View bendrissou's full-sized avatar
1 follower · 0 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback
Block or Report

Block or report bendrissou

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. gmutator-replication-stage-1 gmutator-replication-stage-1 Public

    Replication of Gmutator experiments.

    5

  2. DCUniverse DCUniverse Public

    Forked from ASCMelaka/DCUniverse

    A simple program to help illustrate OOP

    Java 1

  3. PyGlade PyGlade Public

    Forked from vrthra/PyGlade

    This is an independent Python implementation of the technique described in "Synthesizing Program Input Grammars" by Bastani et al.

    Python 1

  4. DP-3T DP-3T Public

    Modeling of DP-3T protocol with ProVerif.

    1

  5. tex-fuzzer tex-fuzzer Public

    A black-box fuzzer for TeX

    Python 1 1

  6. glade-replication glade-replication Public

    This is the replication package for the experiments in "“Synthesizing Input Grammars”: A Critical Evaluation".

    Python 1 2