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. Formal Methods in System Design, 47(1):120-157, 2015. [doi]
Abstract is missing.