The Daikon system for dynamic detection of likely invariants

  title={The Daikon system for dynamic detection of likely invariants},
  author={Michael D. Ernst and Jeff H. Perkins and Philip J. Guo and Stephen McCamant and Carlos Pacheco and Matthew S. Tschantz and Chen Xiao},
  journal={Sci. Comput. Program.},
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 specifications. Examples include being constant (x = a), non-zero (x 6= 0), being in a range (a ≤ x ≤ b), linear relationships (y = ax + b), ordering (x ≤ y), functions from a library (x = fn(y… CONTINUE READING
Highly Influential
This paper has highly influenced 127 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 872 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 595 extracted citations

Deep specification mining

ISSTA • 2018
View 8 Excerpts
Highly Influenced

Inferring and Asserting Distributed System Invariants

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) • 2018
View 12 Excerpts
Highly Influenced

Remote attestation to dynamic system properties: Towards providing complete system integrity evidence

2009 IEEE/IFIP International Conference on Dependable Systems & Networks • 2009
View 14 Excerpts
Highly Influenced

BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel

2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) • 2018
View 6 Excerpts
Highly Influenced

Dara: hybrid model checking of distributed systems

View 4 Excerpts
Highly Influenced

Mining Timed Regular Specifications from System Traces

ACM Trans. Embedded Comput. Syst. • 2018
View 6 Excerpts
Highly Influenced

Discovering relational specifications

View 4 Excerpts
Highly Influenced

873 Citations

Citations per Year
Semantic Scholar estimates that this publication has 873 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…