Ensuring the Correctness of Regular Expressions: A Review

doi:10.1007/s11633-021-1301-4

CORC > 自动化研究所 > 中国科学院自动化研究所 > 学术期刊 > International Journal of Automation and Computing

	Ensuring the Correctness of Regular Expressions: A Review
	Li-Xiao Zheng 2
刊名	International Journal of Automation and Computing
	2021
卷号	18 期号:4 页码:521-535
关键词	Regular expressions correctness string generation learning static checking verification visualization, repairing
ISSN号	1476-8186
DOI	10.1007/s11633-021-1301-4
英文摘要	Regular expressions are widely used within and even outside of computer science due to their expressiveness and flexibility. However, regular expressions have a quite compact and rather tolerant syntax that makes them hard to understand, hard to compose, and error-prone. Faulty regular expressions may cause failures of the applications that use them. Therefore, ensuring the correctness of regular expressions is a vital prerequisite for their use in practical applications. The importance and necessity of ensuring correct definitions of regular expressions have attracted extensive attention from researchers and practitioners, especially in recent years. In this study, we provide a review of the recent works for ensuring the correct usage of regular expressions. We classify those works into different categories, including the empirical study, test string generation, automatic synthesis and learning, static checking and verification, visual representation and explanation, and repairing. For each category, we revew the main results, compare different approaches, and discuss their advantages and disadvantages. We also discuss some potential future research directions.
内容类型	期刊论文
源URL	[http://ir.ia.ac.cn/handle/173211/45061]
专题	自动化研究所_学术期刊_International Journal of Automation and Computing
作者单位	1.State Key Laboratory of Software Development Environment, Beihang University, Beijing 100191, China 2.College of Computer Science and Technology, Huaqiao University, Xiamen 361021, China
推荐引用方式 GB/T 7714	Li-Xiao Zheng. Ensuring the Correctness of Regular Expressions: A Review[J]. International Journal of Automation and Computing,2021,18(4):521-535.
APA	Li-Xiao Zheng.(2021).Ensuring the Correctness of Regular Expressions: A Review.International Journal of Automation and Computing,18(4),521-535.
MLA	Li-Xiao Zheng."Ensuring the Correctness of Regular Expressions: A Review".International Journal of Automation and Computing 18.4(2021):521-535.