Repositories list

• CIT_Benchmark_Generator

  Public
  Java

  •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

• ct-competition

  Public
  Welcome to the combinatorial interaction testing competition

  1•0•0•0•Updated Nov 14, 2024Nov 14, 2024

• FMConfigurationsCounter

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Sep 23, 2024Sep 23, 2024

• roby

  Public
  robustness analyzer for neural network classifiers

  Python

  •

  GNU General Public License v3.0

  •0•2•0•0•Updated Sep 2, 2024Sep 2, 2024

• ctwedge

  Public
  Combinatorial Testing Web Editor and GEnerator

  Java

  •

  Eclipse Public License 2.0

  •4•14•1•1•Updated Jul 10, 2024Jul 10, 2024

• ct-tools

  Public
  Repository containing all the CIT tools developed by fmselab

  Jupyter Notebook

  •1•1•2•0•Updated Jun 19, 2024Jun 19, 2024

• FiniteStateMachineCombinatorial

  Public
  Java

  •0•1•0•1•Updated May 14, 2024May 14, 2024

• fmautorepair

  Public
  fmautorepair

  Java

  •

  Eclipse Public License 1.0

  •0•1•0•0•Updated Apr 9, 2024Apr 9, 2024

• mutrex

  Public
  MutRex - A generator of fault detecting strings for regular expressions

  Java

  •4•12•0•0•Updated Mar 18, 2024Mar 18, 2024

• codecover2

  Public
  Updated version of codecover.org

  Java

  •1•6•0•0•Updated Mar 18, 2024Mar 18, 2024

• Nest4J

  Public
  an open source nest algorithm by java based on SVGNest

  HTML

  •

  MIT License

  •35•2•0•1•Updated Jan 17, 2024Jan 17, 2024

• ReplicationPackageICST2024

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Oct 24, 2023Oct 24, 2023

• eafmupdate

  Public
  Evolutionary Algorithms for Feature Model Update + Mutation operator for feature models

  Java

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Aug 30, 2023Aug 30, 2023

• ec-automatic-nesting

  Public
  Automatic nesting of irregular ship parts with evolutionary computing

  Java

  •1•0•0•0•Updated Dec 3, 2021Dec 3, 2021

• msl

  Public
  abstract-state-machinesmslmape-patterns

  Java

  •0•1•0•0•Updated Nov 7, 2021Nov 7, 2021

• circuit-simulator

  Public
  Paul Falstad's circuit simulator (with improvements)

  Java

  •50•0•0•0•Updated Jul 9, 2021Jul 9, 2021

• evo_regexp_learn

  Public
  Regular expression learning with evolutionary testing and repair

  Java

  •0•1•0•0•Updated Oct 14, 2020Oct 14, 2020

• mvm-gui-old

  Public
  Python

  •

  GNU General Public License v3.0

  •6•1•13•1•Updated May 21, 2020May 21, 2020

• mvm-firmware

  Public
  mvm-firmware

  C++

  •

  Apache License 2.0

  •1•1•0•0•Updated May 20, 2020May 20, 2020

• mvm-firmware-unittests

  Public
  (Strict) Unit tests for the MVM firmware

  C++

  •0•0•1•0•Updated May 5, 2020May 5, 2020

• Antidote3

  Public
  An update version of the IEEE 11073 PHD protocol

  C

  •0•2•0•0•Updated Feb 11, 2020Feb 11, 2020

• ABZ2020CaseStudyInAsmeta

  Public
  Asmeta for CaseStudy ABZ2020

  Assembly

  •

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Jan 20, 2020Jan 20, 2020

• CNNRobustnessEvaluation

  Public
  Python

  •0•0•0•0•Updated Nov 19, 2019Nov 19, 2019

• VMConstraintsRepair

  Public
  Data set and code for the paper "A Process for Fault-Driven Repair of Constraints Among Features"

  Java

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Aug 19, 2019Aug 19, 2019

• mixtgte

  Public
  Efficient and Guaranteed Detection of t-way Failure-inducing Combinations

  R

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Feb 14, 2019Feb 14, 2019

• VASim

  Public
  VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, simulate, and profile homogeneous NFAs, and is meant to be an open tool for automata processing research. VASim can also be extended to support hypothetical automata processing elements.

  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •20•0•0•0•Updated Apr 7, 2018Apr 7, 2018