Android Testing via Synthetic Symbolic Execution

Symbolic execution of Android applications is challenging as it involves either building a customized VM for Android or modeling the Android libraries. Since the Android Runtime evolves from one version to another, building a high-fidelity symbolic execution engine involves modeling the effect of th...

Celý popis

Podrobná bibliografie

Vydáno v:	2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) s. 419 - 429
Hlavní autoři:	Gao, Xiang, Tan, Shin Hwei, Dong, Zhen, Roychoudhury, Abhik
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.09.2018
Témata:	Accuracy Android testing Buildings Codes Engines Libraries Manuals Operating systems Program synthesis Runtime Symbolic execution Testing
ISSN:	2643-1572
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!