Publications

See also at Google Scholar and DBLP.

2024

• Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware
  Yiming Liu, Cen Zhang, Feng Li, Yeting Li, Jianhua Zhou, Jian Wang, Lanlan Zhan, Yang Liu, Wei Huo: The 46th International Conference on Software Engineering (ICSE 2024, CCF-A), 14 - 20 April 2024, Lisbon, Portugal 🏆ACM SIGSOFT Distinguished Paper Award
• File Hijacking Vulnerability: The Elephant in the Room
  Chendong Yu, Yang Xiao, Jie Lu, Yuekang Li, Yeting Li, Lian Li, Yifan Dong, Jian Wang, Jingyi Shi, Defang Bo, Wei Huo: The 31st Annual Network and Distributed System Security Symposium (NDSS 2024, CCF-A), 26 Feb - 1 March 2024, San Diego, California

2023

• Aster: Automatic Speech Recognition System Accessibility Testing for Stutterers
  Yi Liu, Yuekang Li, Gelei Deng, Felix Juefei-Xu, Yao Du, Cen Zhang, Chengwei Liu, Yeting Li, Lei Ma, Yang Liu: The 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023, CCF-A), 11 - 15 Sep 2023, Kirchberg, Luxembourg
• ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
  Jingyi Shi, Yang Xiao, Yuekang Li, Yeting Li, Dongsong Yu, Chendong Yu, Hui Su, Yufeng Chen, Wei Huo: The 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023, CCF-A), 17 - 21 July 2023, Washington, United States
• Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation
  Xinyi Wang, Cen Zhang, Yeting Li*, Zhiwu Xu, Shuailin Huang, Yi Liu, Yican Yao, Yang Xiao, Yanyan Zou, Yang Liu, Wei Huo: The 44th IEEE Symposium on Security and Privacy (S&P 2023, CCF-A), 22 - 25 May 2023, San Francisco, CA

2022

• RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix
  Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao: The 31st USENIX Security Symposium (USENIX Security 2022, CCF-A), 10 - 12 Aug 2022, BOSTON, MA, USA

• Learning Disjunctive Multiplicity Expressions and Disjunctive Generalize Multiplicity Expressions from Both Positive and Negative Examples
  Yeting Li, Haiming Chen, Zixuan Chen: The Computer Journal 2022, CCF-B

• SemMT: A Semantic-based Testing Approach for Machine Translation Systems
  Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung, Haiming Chen: ACM Transactions on Software Engineering and Methodology (TOSEM 2022, CCF-A)

2021

• ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection
  Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, Haiming Chen, Liyuan Chen, Shing-Chi Cheung: The 30th USENIX Security Symposium (USENIX Security 2021, CCF-A), 11 - 13 Aug 2021, Virtual

• TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
  Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung: The 43rd International Conference on Software Engineering (ICSE 2021, CCF-A), 25 - 28 May 2021, Virtual (originally in Madrid, Spain)

2020

• FlashRegex: Deducing Anti-ReDoS Regexes from Examples
  Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao: The 35th IEEE/ACM International Conference on Automated Software Engineering (ASE 2020, CCF-A), 21 - 25 Sep 2020, Melbourne, Australia

• Inferring Restricted Regular Expressions with Interleaving from Positive and Negative Samples
  Yeting Li, Haiming Chen, Lingqi Zhang, Bo Huang, Jianzhao Zhang: The 24th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2020, CORE-A), 11 - 14 May 2020, Singapore

• FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data
  Yeting Li, Jialun Cao, Haiming Chen, Tingjian Ge, Zhiwu Xu, Qiancheng Peng: The 36th IEEE International Conference on Data Engineering (ICDE 2020, CCF-A), 20 - 24 Apr 2020, Dallas, Texas

2019

• Learning k-Occurrence Regular Expressions from Positive and Negative Samples
  Yeting Li, Xiaoying Mou, Haiming Chen: The 38th International Conference on Conceptual Modeling (ER 2019, CORE-A), 4 - 7 Nov 2019, Salvador, Bahia, Brazil

• Context-free Grammars for Deterministic Regular Expressions with Interleaving
  Xiaoying Mou, Haiming Chen, Yeting Li: The 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019, CCF-C), Oct 31 - Nov 4, 2019, Hammamet, Tunisia

• An Effective Algorithm for Learning Single Occurrence Regular Expressions with Interleaving
  Yeting Li, Haiming Chen, Xiaolan Zhang, Lingqi Zhang: The 23rd International Database Engineering & Applications Symposium (IDEAS 2019, CORE-B), 10 - 12 Jun 2019, Athens, Greece

• Learning k-Occurrence Regular Expressions with Interleaving
  Yeting Li, Xiaolan Zhang, Jialun Cao, Haiming Chen, Chong Gao: The 24th International Conference on Database Systems for Advanced Applications (DASFAA 2019, CCF-B), 22 - 25 Apr 2019, Chiang Mai, Thailand

• Learning DMEs from Positive and Negative Examples
  Yeting Li, Chunmei Dong, Xinyu Chu, Haiming Chen: The 24th International Conference on Database Systems for Advanced Applications (DASFAA 2019, CCF-B), 22 - 25 Apr 2019, Chiang Mai, Thailand

• A Large-Scale Repository of Deterministic Regular Expression Patterns and Its Applications
  Haiming Chen, Yeting Li, Chunmei Dong, Xinyu Chu, Xiaoying Mou, Weidong Min: The 23rd Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2019, CORE-A), 14 - 17 Apr 2019, Macao, China

• Learning Restricted Regular Expressions with Interleaving
  Chunmei Dong, Yeting Li, Haiming Chen: The 45th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2019, CORE-B), SRF, 27 - 30 Jan 2019, Nový Smokovec, Slovakia

2018

• Learning Concise Relax NG Schemas Supporting Interleaving from XML Documents
  Yeting Li, Xiaoying Mou, Haiming Chen: The 14th Advanced Data Mining and Applications (ADMA 2018, CORE-B), 16 - 18 Nov 2018, Nanjing, China

• Learning Restricted Regular Expressions with Interleaving from XML Data
  Yeting Li, Xiaolan Zhang, Han Xu, Xiaoying Mou, Haiming Chen: The 37th International Conference on Conceptual Modeling (ER 2018, CORE-A), 22 - 25 Oct 2018, Xi’an, China

• Inferring Regular Expressions with Interleaving from XML Data
  Xiaolan Zhang, Yeting Li, Fei Tian, Fanlin Cui, Chunmei Dong, Haiming Chen: The 2nd Asia Pacific Web (APWeb) and Web-Age Information Management (WAIM) Joint Conference on Web and Big Data (APWeb-WAIM 2018, CCF-C), 23 - 25 Jul 2018, Macao, China

• Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data
  Yeting Li, Xinyu Chu, Xiaoying Mou, Chunmei Dong, Haiming Chen: The 22nd International Database Engineering & Applications Symposium (IDEAS 2018, CORE-B), 18 - 20 Jun 2018, Villa San Giovanni, Italy

• Inference of a Concise Regular Expression Considering Interleaving from XML Documents
  Xiaolan Zhang, Yeting Li, Fanlin Cui, Chunmei Dong, Haiming Chen: The 22nd Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2018, CORE-A), 3 - 6 Jun 2018, Melbourne, Australia

2016

• Practical Study of Subclasses of Regular Expressions in DTD and XML Schema
  Yeting Li, Xiaolan Zhang, Feifei Peng, Haiming Chen: The 18th Asia Pacific Web Conference (APWeb 2016, CCF-C), 23 - 25 Sep, Suzhou, China