The Daikon system for dynamic detection of likely invariants

Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely program invariants. An invariant is a property that holds at a certain point or points in a program; these are often used in assert statements, documentation, and formal speci...

Full description

Saved in:

Bibliographic Details
Published in:	Science of computer programming Vol. 69; no. 1; pp. 35 - 45
Main Authors:	Ernst, Michael D., Perkins, Jeff H., Guo, Philip J., McCamant, Stephen, Pacheco, Carlos, Tschantz, Matthew S., Xiao, Chen
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.12.2007
Subjects:	Daikon Dynamic analysis Dynamic invariant detection Inductive logic programming Inference Invariant Likely invariant Program understanding Specification Specification mining Invariant Program understanding Dynamic analysis Dynamic invariant detection Inference Specification Specification mining Inductive logic programming Likely invariant Daikon
ISSN:	0167-6423, 1872-7964
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!