75 citations · 280 across the 41 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 11 cited
Are There Good Mistakes? A Theoretical Analysis of CEGIS
Susmit Jha, Sanjit A. Seshia
Counterexample-guided inductive synthesis CEGIS is used to synthesize programs from a candidate space of programs. The technique is guaranteed to terminate and synthesize the corre…
cs.LO2014
Proceedings 3rd Workshop on Synthesis
Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha
The idea of synthesis, i.e., the process of automatically computing implementations from their specifications, has recently gained a lot of momentum in the contexts of software eng…