Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework.
Gespeichert in:
| Titel: | Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework. |
|---|---|
| Autoren: | Iqbal, Saeed, Shah, Shakir Ullah, Nauman, Mohammad, Amin, Muhammad |
| Quelle: | 2013 IEEE 3rd International Conference on System Engineering & Technology; 2013, p15-20, 6p |
| Datenbank: | Complementary Index |
Full Text Finder | ISBN: | 9781479910304 |
|---|---|
| DOI: | 10.1109/ICSEngT.2013.6650135 |