1 | -- | 25 | Philipp Rümmer, Hossein Hojjat, Viktor Kuncak. On recursion-free Horn clauses and Craig interpolation |
26 | -- | 50 | Christian von Essen, Barbara Jobstmann. Program repair without regret |
51 | -- | 74 | Yakir Vizel, Alexander Nadel, Vadim Ryvchin. Efficient generation of small interpolants in CNF |
75 | -- | 92 | Daniel Kroening, Matt Lewis, Georg Weissenbacher. Under-approximating loops in C programs for fast counterexample detection |
93 | -- | 119 | Loris D'Antoni, Margus Veanes. Extended symbolic finite automata and transducers |
120 | -- | 157 | Pranav Garg 0001, Christof Löding, P. Madhusudan, Daniel Neider. Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists |