The Daikon system for dynamic detection of likely invariants
| Autor: | Ernst, Michael D., Perkins, Jeff H., Guo, Philip J., McCamant, Stephen, Pacheco, Carlos, Tschantz, Matthew S., Xiao, Chen |
|---|---|
| Zdroj: | In Science of Computer Programming 2007 69(1):35-45 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect