Reggae: Automated Test Generation for Programs using Complex Regular Expressions
2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, pp. 515–519.
author keywords: test generation; dynamic symbolic execution; string generation
topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Software Engineering Research
TL;DR:
An approach is proposed, named Reggae, to reduce the exploration space of DSE in test generation for programs using complex regular expressions due to large exploration space, which helps a test-generation tool generate test inputs to achieve 79% branch coverage of validators.
(via
Semantic Scholar)