Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists

Dordrecht [u.a.] / Springer Science + Business Media B.V (2015) [Journal Article]

Formal methods in system design
Volume: 47
Issue: 1
Page(s): 120-157