Details
Title
Gvero, Tihomir
Sciper ID
188355
Affiliated labs
LARA
Publications
Code Completion using Quantitative Type Inhabitation
Interactive Synthesis of Code Snippets
On Complete Completion using Types and Weights
On Delayed Choice Execution for Falsification
On Fast Code Completion using Type Inhabitation
On Repairing Ill-Typed Expressions
On Synthesizing Code from Free-Form Queries
Search Techniques for Code Generation
Synthesizing Java Expressions from Free-Form Queries
Test Generation through Programming in UDITA
See complete list of publications (14)
Interactive Synthesis of Code Snippets
On Complete Completion using Types and Weights
On Delayed Choice Execution for Falsification
On Fast Code Completion using Type Inhabitation
On Repairing Ill-Typed Expressions
On Synthesizing Code from Free-Form Queries
Search Techniques for Code Generation
Synthesizing Java Expressions from Free-Form Queries
Test Generation through Programming in UDITA
See complete list of publications (14)
Link to search
All resources
Record appears in
Authorities > People