Sciweavers

2 search results - page 1 / 1
» Rex: Symbolic Regular Expression Explorer
Sort
View
ICST
2010
IEEE
13 years 3 months ago
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
KBSE
2009
IEEE
13 years 11 months ago
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Hal...