Dynamically Discovering Program Invariants Involving Collections (2000)

by Michael Ernst , William G. Griswold , Yoshio Kataoka , David Notkin
Citations:12 - 0 self