3 citations · 7 across the 9 of their papers we have counts for
1 paper · 2 filters
Vincent J. Hellendoorn, Premkumar T. Devanbu, Oleksandr Polozov +1
Ensuring that a program operates correctly is a difficult task in large, complex systems. Enshrining invariants -- desired properties of correct execution -- in code or comments ca…