The Daikon system for dynamic detection of likely invariants
- Michael D. Ernst
- , Jeff H. Perkins
- , Philip J. Guo
- , Stephen McCamant
- , Carlos Pacheco
- , Matthew S. Tschantz
- , Chen Xiao
Research output: Contribution to journal › Article › peer-review
866
Link opens in a new tab
Scopus
citations