Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework.
Uloženo v:
| Název: | Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework. |
|---|---|
| Autoři: | Iqbal, Saeed, Shah, Shakir Ullah, Nauman, Mohammad, Amin, Muhammad |
| Zdroj: | 2013 IEEE 3rd International Conference on System Engineering & Technology; 2013, p15-20, 6p |
| Databáze: | Complementary Index |
Full Text Finder | ISBN: | 9781479910304 |
|---|---|
| DOI: | 10.1109/ICSEngT.2013.6650135 |