@techreport{artho05-generic-full,
  author={C. Artho and A. Biere},
  title = {Combined Static and Dynamic Analysis},
  institution="ETH Z{\"u}rich",
  number = "466",
  address = "Z{\"u}rich, Switzerland",
  year = {2005},
}