Environment Modeling Using Runtime Values for JPF-Android. - Heila van der Merwe; Oksana Tkachuk; Sean Nel; Brink van der Merwe; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2015)