Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Tavaris J. Thomas"'
Autor:
Lloyd G. Greenwald, Tavaris J. Thomas
Publikováno v:
Bell Labs Technical Journal. 12:149-166
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7fb3257300ed14ae615c8e28ec17f3f0
https://doi.org/10.1002/bltj.20257
https://doi.org/10.1002/bltj.20257
Publikováno v:
MILCOM
We explore techniques for eliciting a behavioral description from an Android smartphone app in a controlled manner. A description of app behavior is useful for performing subsequent analysis such as model checking, for example to verify the app satis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef3ef061d00c1ed3bbd8b6df51439983
https://doi.org/10.1109/milcom.2013.168
https://doi.org/10.1109/milcom.2013.168