mutrex logoMutRex: the mutation-based test generator for regular expressions

Reg exp:

MutRex algorithm:

Basic algorithm
Use monitoring
Use collecting

Mutiation operators:

Toggle All CC (CaseChange) CA (CaseAddition)
M2C (MetaChar2Char) C2M (Char2MetaChar) CCC (CharacterClassCreation)
CCA (CharacterClassAddition) CCM (CharacterClassModification) RM (RangeModification)
CCR (CharacterClassRestriction) PA (PrefixAddition) CCN (CharacterClassNegation)
NCCO (NegatedCharacterClassToOptional) NA (NegationAddition) QC (QuantifierChange)

MutRex orientation:

RANDOM
Prefer accepted
Prefer rejected

MutRex syntax

The syntax accepted by MutRex can be found here http://www.brics.dk/automaton/doc/dk/brics/automaton/RegExp.html
MutRex supports also
\d is short for [0-9]
\w stands for "word character"
\s stands for "whitespace character"

Some examples can be downloaded here and some more here
mutrex is still experimental - see paper:
P. Arcaini, A. Gargantini, E. Riccobene
MutRex: a mutation-based generator of fault detecting strings for regular expressions
in 12th International Workshop on Mutation Analysis (Mutation 2017), Tokyo, Japan, March 13, 2017
[download the pdf]
Source code is available on github