"Symbolic state validation through runtime data."

Yueqi Li, Shing-Chi Cheung (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics