Feedback-driven dynamic invariant discovery.

Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid

Browse the full ISSTA paper archive.