research
∙
05/29/2023
ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
Deep learning (DL) applications are prevalent nowadays as they can help ...
share
research
∙
12/31/2020
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
Since regular expressions (abbrev. regexes) are difficult to understand ...
research
∙
12/03/2020
SemMT: A Semantic-based Testing Approach for Machine Translation Systems
Machine translation has wide applications in daily life. In mission-crit...
research
∙
06/05/2019
An Effective Algorithm for Learning Single Occurrence Regular Expressions with Interleaving
The advantages offered by the presence of a schema are numerous. However...
research
∙
04/30/2019
Learning Restricted Regular Expressions with Interleaving
The advantages for the presence of an XML schema for XML documents are n...
research
∙
05/31/2018