Author of the publication

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation.

, , , , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 232-254. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Concurrency Debugging with MaxSMT., , , and . AAAI, page 1608-1616. AAAI Press, (2019)Introducing Pareto Minimal Correction Subsets., , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 195-211. Springer, (2017)FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions., , , , and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 152-169. Springer, (2021)BugOut: Automated Test Generation and Bug Detection for Low-Code., , , , , , and . ICST, page 373-382. IEEE, (2024)Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms., , and . IJCAI, page 1184-1190. ijcai.org, (2019)Duplicated code pattern mining in visual programming languages., , , , , and . ESEC/SIGSOFT FSE, page 1348-1359. ACM, (2021)Stratification for Constraint-Based Multi-Objective Combinatorial Optimization., , and . IJCAI, page 1376-1382. ijcai.org, (2018)FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions., , , , and . CoRR, (2020)SAT-Based Algorithms for Regular Graph Pattern Matching., , , , , and . AAAI, page 8136-8145. AAAI Press, (2024)Automated Refactoring of Unbounded Queries in Software Automation Platforms., , and . MoDELS (Companion), page 417-426. IEEE, (2021)