Skip to content
@fmselab

Formal Methods & Software Engineering Laboratories

Formal Methods & Software Engineering Labs - Universities Bergamo, Milan, NJIT

Popular repositories Loading

  1. ctwedge ctwedge Public

    Combinatorial Testing Web Editor and GEnerator

    Java 14 4

  2. mutrex mutrex Public

    MutRex - A generator of fault detecting strings for regular expressions

    Java 12 4

  3. codecover2 codecover2 Public

    Updated version of codecover.org

    Java 6 1

  4. Antidote3 Antidote3 Public

    An update version of the IEEE 11073 PHD protocol

    C 2

  5. roby roby Public

    robustness analyzer for neural network classifiers

    Python 2

  6. Nest4J Nest4J Public

    Forked from tangwing/Nest4J

    an open source nest algorithm by java based on SVGNest

    HTML 2 2

Repositories

Showing 10 of 26 repositories
  • CIT_Benchmark_Generator Public
    fmselab/CIT_Benchmark_Generator’s past year of commit activity
    Java 0 0 0 0 Updated Dec 12, 2024
  • ct-competition Public

    Welcome to the combinatorial interaction testing competition

    fmselab/ct-competition’s past year of commit activity
    0 1 0 0 Updated Nov 14, 2024
  • FMConfigurationsCounter Public
    fmselab/FMConfigurationsCounter’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Sep 23, 2024
  • roby Public

    robustness analyzer for neural network classifiers

    fmselab/roby’s past year of commit activity
    Python 2 GPL-3.0 0 0 0 Updated Sep 2, 2024
  • ctwedge Public

    Combinatorial Testing Web Editor and GEnerator

    fmselab/ctwedge’s past year of commit activity
    Java 14 EPL-2.0 4 1 1 Updated Jul 10, 2024
  • ct-tools Public

    Repository containing all the CIT tools developed by fmselab

    fmselab/ct-tools’s past year of commit activity
    Jupyter Notebook 1 1 2 0 Updated Jun 19, 2024
  • FiniteStateMachineCombinatorial Public
    fmselab/FiniteStateMachineCombinatorial’s past year of commit activity
    Java 1 0 0 1 Updated May 14, 2024
  • fmautorepair Public

    fmautorepair

    fmselab/fmautorepair’s past year of commit activity
    Java 1 EPL-1.0 0 0 0 Updated Apr 9, 2024
  • mutrex Public

    MutRex - A generator of fault detecting strings for regular expressions

    fmselab/mutrex’s past year of commit activity
    Java 12 4 0 0 Updated Mar 18, 2024
  • codecover2 Public

    Updated version of codecover.org

    fmselab/codecover2’s past year of commit activity
    Java 6 1 0 0 Updated Mar 18, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…