@incollection{SB14,
  title = "Automatic Handling of Native Methods in Java PathFinder",
  author = "Nastaran Shafiei and Breugel, Franck van",
  year = "2014",
  booktitle = "Proceedings of the 21st International SPIN Workshop",
  month = "July",
  publisher = "ACM",
}