Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions   Form validators based on regular expressions are often used on digital forms
to prevent users from inserting data in the wrong format. However, writing
these validators can pose a challenge to some users. We present FOREST, a
regular expression synthesizer for digital form validations. FOREST produces a
regular expression that matches the desired pattern for the input values and a
set of conditions over capturing groups that ensure the validity of integer
values in the input. Our synthesis procedure is based on enumerative search and
uses a Satisfiability Modulo Theories (SMT) solver to explore and prune the
search space. We propose a novel representation for regular expressions
synthesis, multi-tree, which induces patterns in the examples and uses them to
split the problem through a divide-and-conquer approach. We also present a new
SMT encoding to synthesize capture conditions for a given regular expression.
To increase confidence in the synthesized regular expression, we implement user
interaction based on distinguishing inputs. We evaluated FOREST on real-world
form-validation instances using regular expressions. Experimental results show
that FOREST successfully returns the desired regular expression in 72% of the
instances and outperforms REGEL, a state-of-the-art regular expression
synthesizer.

21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
32
The categories of this paper are: atom-ph
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph