conftrace_

dfa equivalence

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

test case (1) regular expression generation (1) semantic correctness (1) natural language specification (1) sequence-to-sequence learning (1) program synthesis (1)

Papers

SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications EMNLP 2018