@inproceedings{92266,
  author = {Sunha Ahn and Sharad Malik},
  title = {Modeling firmware as service functions and its application to test generation},
  year = {2013},
  journal = {Haifa Verification Conference},
  pages = {61{\textendash}77},
  publisher = {Springer International Publishing},
  language = {eng},
}