A5037974123- Algorithms and Data Compression
- Natural Language Processing Techniques
- Machine Learning and Algorithms
- Software Testing and Debugging Techniques
- Advanced Malware Detection Techniques
- Advanced Database Systems and Queries
- Software Engineering Research
- Semantic Web and Ontologies
- Topic Modeling
- Web Data Mining and Analysis
- semigroups and automata theory
- Data Mining Algorithms and Applications
- Web Application Security Vulnerabilities
- Concrete and Cement Materials Research
- Concrete Corrosion and Durability
- Network Security and Intrusion Detection
- Stuttering Research and Treatment
- Speech and dialogue systems
- Formal Methods in Verification
- Speech Recognition and Synthesis
- Magnesium Oxide Properties and Applications
- Inflammatory Biomarkers in Disease Prognosis
- Innovative concrete reinforcement materials
- Information and Cyber Security
- Adversarial Robustness in Machine Learning
Institute of Information Engineering
2023-2024
University of Chinese Academy of Sciences
2016-2024
The New Press
2024
Nanyang Technological University
2024
Wenzhou Medical University
2024
Chinese Academy of Sciences
2018-2024
Dongyang People's Hospital
2024
Singapore Management University
2023
Institute of Software
2018-2022
Shenzhen University
2022
Machine translation has wide applications in daily life. In mission-critical such as translating official documents, incorrect can have unpleasant or sometimes catastrophic consequences. This motivates recent research on the testing methodologies for machine systems. Existing mostly rely metamorphic relations designed at textual level (e.g., Levenshtein distance) syntactic distance between grammar structures) to determine correctness of results. However, these do not consider whether...
Deep learning (DL) applications are prevalent nowadays as they can help with multiple tasks. DL libraries essential for building applications. Furthermore, operators the important blocks of libraries, that compute multi-dimensional data (tensors). Therefore, bugs in have great impacts. Testing is a practical approach detecting operators. In order to test effectively, it cases pass input validity check and able reach core function logic Hence, extracting validation constraints required...
Fuzz drivers are essential for library API fuzzing.However, automatically generating fuzz is a complex task, as it demands the creation of high-quality, correct, and robust usage code.An LLM-based (Large Language Model) approach promising area research.Unlike traditional program analysis-based generators, this text-based more generalized capable harnessing variety information, resulting in code that friendly human readers.However, there still lack understanding regarding fundamental issues...
LLM-based (Large Language Model) fuzz driver generation is a promising research area. Unlike traditional program analysis-based method, this text-based approach more general and capable of harnessing variety API usage information, resulting in code that friendly for human readers. However, there still lack understanding regarding the fundamental issues on direction, such as its effectiveness potential challenges. To bridge gap, we conducted first in-depth study targeting important using LLMs...
Communication protocols form the bedrock of our interconnected world, yet vulnerabilities within their implementations pose significant security threats. Recent developments have seen a surge in fuzzing-based research dedicated to uncovering these protocol implementations. However, there still lacks systematic overview fuzzing for answering essential questions such as what unique challenges are, how existing works solve them, etc. To bridge this gap, we conducted comprehensive investigation...
In recent years, increasing attention has been focused on the impact of red blood cell indices (RCIs) disease prognosis. We aimed to investigate association mean corpuscular hemoglobin (MCH), concentration (MCHC), and volume (MCV) with mortality.
Regular expressions (regexes) are widely used in different fields of computer science such as programming languages, string processing and databases. However, existing tools for synthesizing or repairing regexes were not designed to be resilient Regex Denial Service (ReDoS) attacks. Specifically, if a regex has super-linear (SL) worst-case complexity, an attacker could provide carefully-crafted inputs launch ReDoS Therefore, this paper, we propose programming-by-example framework,...
Since regular expressions (abbrev. regexes) are difficult to understand and compose, automatically generating regexes has been an important research problem. This paper introduces TransRegex, for constructing from both natural language descriptions examples. To the best of our knowledge, TransRegex is first treat NLP-and-example-based regex synthesis problem as NLP-based with repair. For this purpose, we present novel algorithms We evaluate ten relevant state-of-the-art tools on three...
Regular expressions are a fundamental concept in computer science and widely used various applications. In this paper we focused on deterministic regular (DREs). Considering that researchers did not have large datasets as evidence before, first harvested corpus of real data from the Web then conducted practical study to investigate usage DREs. One feature our work is set sufficiently compared with previous work, which obtained using several collection strategies proposed. The results show...
Regular expression Denial-of-Service (ReDoS) is one kind of algorithmic complexity attack. For a vulnerable regex, attackers can craft certain strings to trigger the super-linear worst-case matching time, which causes denial-of-service regex engines. Various ReDoS detection approaches have been proposed recently. Among them, hybrid absorb advantages both static and dynamic shown their performance superiority. However, two key challenges still hinder effectiveness detection: 1) Existing...
This paper examines the random variation of residual radius along length both naturally corroded and artificially rebars. The rebars are washed to remove rust, their area is measured by water volume method for every 20-mm long segment each rebar. Tests carried out determine stationarity or non-stationarity stochastic field used model specimens. Then, autocorrelation function, power spectrum marginal probability distribution function specimen estimated. It found that with mean corrosion...
The popularity of automatic speech recognition (ASR) systems nowadays leads to an increasing need for improving their accessibility. Handling stuttering is important feature accessible ASR systems. To improve the accessibility stutterers, we expose and analyze failures on speech. datasets recorded from stutterers are not diverse enough most failures. Furthermore, these lack ground truth information about non-stuttered text, rendering them unsuitable as comprehensive test suites. Therefore, a...
Abstract Background The incidence and mortality rate of rectal cancer are still high, the metastasis main causes death. control distant is one concerns in treatment locally advanced cancer, but there few studies on predicting synchronous (SDM) cancer. Method data patients with adenocarcinoma confirmed by endoscopic biopsy or postoperative pathology from September 2015 to May 2020 hospital A (center 1) B 2) were analyzed retrospectively, including age, sex, carcinoembryonic antigen,...
The advantages offered by the presence of a schema are numerous. However, many XML documents in practice not accompanied (valid) schema, making inference an attractive research problem. fundamental task learning is inferring restricted subclasses regular expressions. Most previous work either lacks support for interleaving or only has limited interleaving. In this paper, we first propose new subclass Single Occurrence Regular Expressions with Interleaving (SOIRE), which unrestricted Then,...