235 citations · 865 across the 103 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
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★ 2 cited
Speeding Up SMT-Based Quantitative Program Analysis
Daniel J. Fremont, Sanjit A. Seshia
Quantitative program analysis involves computing numerical quantities about individual or collections of program executions. An example of such a computation is quantitative inform…