conftrace_

regular expression generation

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

unit test validation (1) test case (1) dfa equivalence (1) semantic correctness (1) unit testing (1) generative language model (1) functional correctness (1) natural language specification (1) sequence-to-sequence learning (1) program synthesis (1)

Papers

Enhancing Language Model with Unit Test Techniques for Efficient Regular Expression Generation EMNLP 2023 SemRegex: A Semantics-Based Approach for Generating Regular Expressions from Natural Language Specifications EMNLP 2018