@inproceedings{Artho05-inlining,
   author={C. Artho and A. Biere},
   title = {Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis},
   year={2005},
   booktitle = {Proc.\ 1st Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE~2005)},
   publisher = "Elsevier Science",
   series = "ENTCS",
   pages = {98--115},
   volume = {141},
   address = "Edinburgh, Scotland",
}