51 citations · 69 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 51 cited
Horn-ICE Learning for Synthesizing Invariants and Contracts
Deepak D'Souza, P. Ezudheen, Pranav Garg +2
We design learning algorithms for synthesizing invariants using Horn implication counterexamples (Horn-ICE), extending the ICE-learning model. In particular, we describe a decision…
cs.PL2017
Presburger-Definable Parameterized Typestates
Ashish Mishra, Deepak Dsouza, Y. N. Srikant
Typestates are good at capturing dynamic states of a program as compared to normal types that can capture static structural properties of data and program. Although useful, typesta…