A lightweight framework for regular expression verification

Xiao Liu, Yufei Jiang, Dinghao Wu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Regular expressions and finite state automata have been widely used in programs for pattern searching and string matching. Unfortunately, despite the popularity, regular expressions are difficult to understand and verify even for experienced programmers. Conventional testing techniques remain a challenge as large regular expressions are constantly used for security purposes such as input validation and network intrusion detection. In this paper, we present a lightweight verification framework for regular expressions. In this framework, instead of a large number of test cases, it takes in requirements in natural language descriptions to automatically synthesize formal specifications. By checking the equivalence between the synthesized specifications and target regular expressions, errors will be detected and counterexamples will be reported. We have built a web application prototype and demonstrated its usability with two case studies.

Original languageEnglish (US)
Title of host publicationProceedings - 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019
EditorsVu Nguyen, Congfeng Jiang, Dongjin Yu
PublisherIEEE Computer Society
Pages1-8
Number of pages8
ISBN (Electronic)9781538685402
DOIs
StatePublished - Mar 22 2019
Event19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019 - Hangzhou, China
Duration: Jan 3 2019Jan 5 2019

Publication series

NameProceedings of IEEE International Symposium on High Assurance Systems Engineering
Volume2019-January
ISSN (Print)1530-2059

Conference

Conference19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019
CountryChina
CityHangzhou
Period1/3/191/5/19

All Science Journal Classification (ASJC) codes

  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint Dive into the research topics of 'A lightweight framework for regular expression verification'. Together they form a unique fingerprint.

Cite this