# Dynamically Discovering Likely Program Invariants

> doctoral thesis by Michael Dean Ernst, Computer Science & Engineering, University of Washington, 2000

**Wikidata**: [Q113668117](https://www.wikidata.org/wiki/Q113668117)  
**Source**: https://4ort.xyz/entity/dynamically-discovering-likely-program-invariants


## References

1. WorldCat