• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations

DMCA

The Daikon system for dynamic detection of likely invariants (2006)

Cached

  • Download as a PDF

Download Links

  • [people.csail.mit.edu]
  • [pag.lcs.mit.edu]
  • [www.stanford.edu]
  • [www.pag.csail.mit.edu]
  • [www.cs.washington.edu]
  • [pag.csail.mit.edu]
  • [homes.cs.washington.edu]
  • [homes.cs.washington.edu]
  • [www.eecs.northwestern.edu]
  • [homes.cs.washington.edu]
  • [www.eecs.northwestern.edu]
  • [www.pgbovine.net]
  • [people.csail.mit.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Michael D. Ernst , Jeff H. Perkins , Philip J. Guo , Stephen McCamant , Carlos Pacheco , Matthew S. Tschantz , Chen Xiao
Citations:243 - 10 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Ernst06thedaikon,
    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},
    title = { The Daikon system for dynamic detection of likely invariants},
    year = {2006}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

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 ̸ = 0), being in a

Keyphrases

likely invariant    dynamic detection    daikon system    assert statement    certain point    formal specification   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University