Universal symbolic execution and its application to likely data structure invariant generation.

Yamini Kannan, Koushik Sen

Browse the full ISSTA paper archive.