Summary of dynamically discovering likely program invariants | IEEE Conference Publication | IEEE Xplore