@inproceedings{Artho05-genericanalysis,
  author={C. Artho and A. Biere},
  title = {Combined Static and Dynamic Analysis},
  booktitle = {Proc.\ 1st Int.\  Workshop on Abstract Interpretation of Object-Oriented Languages (AIOOL~2005)},
  publisher = "Elsevier Science",
  series = "ENTCS",
  volume={131},
  pages={3--14},
  address = "Paris, France",
  year = {2005},
}