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 journalArticlepeer-review

750 Scopus citations

Fingerprint

Dive into the research topics of 'The Daikon system for dynamic detection of likely invariants'. Together they form a unique fingerprint.

Computer Science

Keyphrases