I have worked and I am working on the following application/software:
-
MutRex: the mutation-based test generator for regular expressions (see paper@MUTATION17)
-
nuseen is a eclipse-based environment for NuSMV and contains a model advisor per NuSMV we wrote (see paper@ICST 2017)
-
ATGT Automatic Test Generation Tool for ASM. ATGT is a tests generation tool and it allows test generation starting from Asm models. It supports structural coverage, fault detecting tests, and combinatorial testing. It is based on the counter example generation capability of the model checker and/or SMT solvers. -
Boolean test generator tool Automatic test generation for Boolean expression and specifications, using SAT/SMT solving and fault detection coverage criteria (similar to mutation). See our paper @IST and @ ASE 2011. -
SCRTGTOOL. A test generation tool for SCR specifications. If you are interested in evaluating the tool, write me an email. The results of our intensive experiments for the ICST 09 paper are available here
-
CitLab A combinatorial testing lab as presented in our paper @ CT2012. Not it works also on the web http://foselab.unibg.it/ctwedge/
-
Asmeta: Abstract State Machine Metamodel and its tool set: http://asmeta.sourceforge.net
-
epop is an Extensible Publish or Perish tool for research evaluation.
-
medici is a tool for combinatorial test generation based on the use of Multiple-Valued Decision Diagrams