MutRex: a mutation-based generator of fault detecting strings for regular expressions
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F17%3A10360072" target="_blank" >RIV/00216208:11320/17:10360072 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1109/ICSTW.2017.23" target="_blank" >http://dx.doi.org/10.1109/ICSTW.2017.23</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ICSTW.2017.23" target="_blank" >10.1109/ICSTW.2017.23</a>
Alternative languages
Result language
angličtina
Original language name
MutRex: a mutation-based generator of fault detecting strings for regular expressions
Original language description
Regular expressions (regexes) permit to describe set of strings using a pattern-based syntax. Writing a correct regex that exactly captures the desired set of strings is difficult, also because a regex is seldom syntactically incorrect, and so it is rare to detect faults at parse time. We propose a fault-based approach for generating tests for regexes. We identify fault classes representing possible mistakes a user can make when writing a regex, and we introduce the notion of distinguishing string, i.e., a string that is able to witness a fault. Then, we provide a tool, based on the automata representation of regexes, for generating distinguishing strings exposing the faults introduced in mutated versions of a regex under test. The basic generation process is improved by two techniques, namely monitoring and collecting. Experiments show that the approach produces compact test suites having a guaranteed fault detection capability, differently from other test generation approaches.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA17-12465S" target="_blank" >GA17-12465S: Verification and Bug Hunting for Advanced Software</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
ISBN
978-1-5090-6676-6
ISSN
2159-4848
e-ISSN
neuvedeno
Number of pages
10
Pages from-to
87-96
Publisher name
IEEE
Place of publication
Neuveden
Event location
Tokyo, Japan
Event date
Mar 13, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000403392800016