Daikon

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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1972-2016
051019722016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
This paper reports the influence of dc electric field on plant growth. We used daikon radish as the sample. Seeds of the daikon… (More)
  • figure 3
  • figure 2
  • figure 4
  • figure 1
  • table 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Daikon is an implementation of dynamic detection of likely invariants; that is, the Daikon invariant detector reports likely… (More)
Is this relevant?
2005
2005
We present a proof of concept that combines static and dynamic analysis in order to obtain symbolic expression that over… (More)
  • figure 2
  • figure 1
  • table 1
  • table 3
  • table 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the… (More)
Is this relevant?
2004
2004
Variation was of root shape in Japanese radish, due to genotypes, soil types and growth stages, were quantitatively evaluated by… (More)
Is this relevant?
2003
2003
Daikon was created by Michael D. Ernst in 2000 as a tool for dynamically detecting program invariants. Since then, it has been… (More)
Is this relevant?
2002
2002
Elements of the software engineering community have found that spending time discovering and documenting invariants in a program… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This paper shows how to integrate two complementary techniques for manipulating program invariants: dynamic detection and static… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
2001
2001
; Pn, Cy and Pn, Cy > Pg groups. Each group consequently specified significant features among CIELAB color notation and petal… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
  • Michael D. Ernsty, Jake Cockrelly, William G. Griswoldz
  • 2000
Explicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying… (More)
  • figure 10
Is this relevant?