articleScience of Computer ProgrammingNov 8, 2007Closed access

The Daikon system for dynamic detection of likely invariants

MDMichael D. ErnstJPJeff PerkinsPJPhilip J. GuoSMStephen McCamantCPCarlos Pacheco

Vassar College

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

1,051
total citations
FWCI
73.07
Percentile
100%
References
59
Citations per year

Authors

7

Topics & keywords

Topics
Keywords
  • Computer science
  • Invariant (physics)
  • Documentation
  • Data structure
  • Binary number
  • Programming language
  • Theoretical computer science
  • Algorithm
No related works found for this paper.