DMCA
The Daikon system for dynamic detection of likely invariants (2006)
Cached
Download Links
- [people.csail.mit.edu]
- [pag.lcs.mit.edu]
- [www.stanford.edu]
- [www.pag.csail.mit.edu]
- [www.cs.washington.edu]
- [pag.csail.mit.edu]
- [homes.cs.washington.edu]
- [homes.cs.washington.edu]
- [www.eecs.northwestern.edu]
- [homes.cs.washington.edu]
- [www.eecs.northwestern.edu]
- [www.pgbovine.net]
- [people.csail.mit.edu]
by
Michael D. Ernst
,
Jeff H. Perkins
,
Philip J. Guo
,
Stephen McCamant
,
Carlos Pacheco
,
Matthew S. Tschantz
,
Chen Xiao
Citations: | 243 - 10 self |