Concepedia

Publication | Closed Access

The Daikon system for dynamic detection of likely invariants

DOI

1K

Citations

39

References

2007

Year

Michael D. Ernst, Jeff Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Xiao Chen
Science of Computer Programming

References

YearCitations

Page 1