Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Daikon is a computer program that detects likely invariants of programs. An invariant is a condition that always holds true at certain points in the program. It is mainly usedfor debugging programs in late development, or checking modifications to existing code. Daikon can detect properties in C, C++, Java, Perl, and IOA programs, as well as spreadsheet files or other data sources. Daikon is easy to extend and is free software.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.