Java Pathfinder on Android Devices
暂无分享,去创建一个
Cyrille Artho | Lei Ma | Masami Hagiya | Yoshinori Tanabe | Yoriyuki Yamagata | Mitsuharu Yamamoto | Alexander Kohan
[1] Franck van Breugel,et al. Automatic handling of native methods in Java PathFinder , 2014, SPIN.
[2] Brink van der Merwe,et al. Environment Modeling Using Runtime Values for JPF-Android , 2015, SOEN.
[3] Brink van der Merwe,et al. Verifying android applications using Java PathFinder , 2012, ACM SIGSOFT Softw. Eng. Notes.