@article{128,
  author = {Brink van der Merwe and W.C. Visser and Heila van der Merwe and S.E.A. Nel and O. Tkachuk},
  title = {Environment Modeling Using Runtime Values for JPF-Android},
  abstract = {No Abstract},
  year = {2015},
  journal = {ACM SIGSOFT Software Engineering Notes},
  volume = {40},
  chapter = {1-5},
  publisher = {ACM},
  address = {New York, USA},
  url = {http://dx.doi.org/10.1145/2830719.2830727},
}