Skip to content
master
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
Jan 17, 2019
Feb 9, 2019
May 29, 2019
Feb 9, 2019
May 2, 2019

README.md

MutRex: a mutation-based generator of fault detecting strings for regular expressions

mutrex logo

Web interface: http://foselab.unibg.it/mutrex/

There is also a simple CLI version. You can download the jar from here https://github.com/fmselab/mutrex/raw/master/mutrex.cli/mutrex.jar

$ java -jar  mutrex.jar "aB([a-z]*)"
tests for regular expression aB([a-z]*)
"aBb" (CONF) kills [aB((\a|\z))*]
"AB" (REJECT) kills [AB([\a-\z])*, (\a|\A)\B([\a-\z])*]
"ab" (REJECT) kills [\a(\B|\b)([\a-\z])*]
...

License

Mutrex is released under the under the terms of the BSD license. Copyright (C) Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene

Build

You can build mutrex by using eclipse. Import the projects in eclipse.

Cite as:

P. Arcaini, A. Gargantini, E. Riccobene Fault‐based test generation for regular expressions by mutation in Software Testing, Verification and Reliability, March 2018 download the pdf

Other publication: 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

Mutrex is used also for regular expression repairs. See here and the paper

About

MutRex - A generator of fault detecting strings for regular expressions

Resources

Releases

No releases published
You can’t perform that action at this time.