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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science of computer programming Jg. 69; H. 1; S. 35 - 45
Hauptverfasser:	Ernst, Michael D., Perkins, Jeff H., Guo, Philip J., McCamant, Stephen, Pacheco, Carlos, Tschantz, Matthew S., Xiao, Chen
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.12.2007
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!