A formal approach to automatically analyse extra‐functional properties in mobile applications-Reference-Cited by-同舟云学术

A formal approach to automatically analyse extra‐functional properties in mobile applications

Published:2019-06 Issue:4-5 Volume:29 Page:
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Rosario Espada Ana¹,Mar Gallardo Maria¹,Salmerón Alberto¹,Panizo Laura¹^ORCID,Merino Pedro¹^ORCID

Affiliation:

1. Universidad de Málaga, Andalucía TechDept. Lenguajes y Ciencias de la Computación Málaga Spain

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1002/stvr.1699

Reference42 articles.

1. TAzimandINeamtiu Targeted and depth‐first exploration for systematic testing of android apps In Proceedings of the 2013 ACM Sigplan International Conference on Object Oriented Programming Systems Languages & Applications OOPSLA '13 ACM New York NY USA 2013 pp.641–660.

2. YLiu CXu andS‐CCheung Characterizing and detecting performance bugs for smartphone applications In Proceedings of the 36th International Conference on Software Engineering ICSE 2014 ACM New York NY USA 2014 pp.1013–1024.

3. AShuba ALe MGjoka JVarmarken SLanghoff andAMarkopoulou AntMonitor: Network traffic monitoring and real‐time prevention of privacy leaks in mobile devices In Proceedings of the 2015 Workshop on Wireless of the Students by the Students and for the Students S3 '15 ACM New York NY USA 2015 pp.25–27.

4. SDai ATongaonkar XWang ANucci andDSong NetworkProfiler: Towards automatic fingerprinting of android apps In INFOCOM 2013 Proceedings IEEE Turin Italy 2013 pp.809–817.

5. XWei LGomez INeamtiu andMFaloutsos ProfileDroid: Multi‐layer profiling of android applications In Proceedings of the 18th Annual International Conference on Mobile Computing and Networking Mobicom '12 ACM New York NY USA 2012 pp.137–148.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Role of Abstraction in Model Checking;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023

2. Assurance by Design for Cyber‐physical Data‐driven Systems;IoT for Defense and National Security;2022-12-28

3. STAn: analysis of data traces using an event-driven interval temporal logic;Automated Software Engineering;2022-11-30

4. A Modular Experimentation Methodology for 5G Deployments: The 5GENESIS Approach;Sensors;2020-11-20

5. Trace Analysis Using an Event-Driven Interval Temporal Logic;Logic-Based Program Synthesis and Transformation;2020