@article{ernst2007daikon,
  author={Ernst, M.D. and Perkins, J.H. and Guo, P.J. and McCamant, S. and Pacheco, C. and Tschantz, M.S. and Xiao, C.},
  title={The Daikon system for dynamic detection of likely invariants},
  journal={Science of Computer Programming},
  year={2007},
  volume={69},
  number={1-3},
  pages={35--45}
}