BibTeX-Eintrag ernst2007a

BibTeX-Eintrag für "The Daikon system for dynamic detection of likely invariants"

@ARTICLE{ernst2007a,
 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},
 journal = {Science of Computer Programming},
 year = {2007},
 volume = {69},
 pages = {35--45},
 number = {1--3},
 month = dec
}