Popular repositories Loading

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

   Replication of Gmutator experiments.

   5

2. gmutator-replication gmutator-replication Public

   Replication of Gmutator experiments.

   Python 3

3. DCUniverse DCUniverse Public

   Forked from ASCMelaka/DCUniverse

   A simple program to help illustrate OOP

   Java 1

4. 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

5. DP-3T DP-3T Public

   Modeling of DP-3T protocol with ProVerif.

   1

6. tex-fuzzer tex-fuzzer Public

   A black-box fuzzer for TeX

   Python 1 2