| Link Details| ID: | 1637 | | Title: | Daikon - http://groups.csail.mit.edu/pag/daikon/ | | Description: | Dynamic invariant detection runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. Daikon can detect properties in C, C++, Eiffel, IOA, Java, and Perl programs; in spreadsheet files; and in other data sources. | | URL: | http://groups.csail.mit.edu/pag/daikon/ | | Category: | Software Quality Assurance: Code Analysis | | Link Owner: | | | Date Added: | February 05, 2010 04:56:14 PM |
|
|