ResearchSpace
→
Browsing by Subject

Browsing by Subject "Android applications"

Now showing items 1-2 of 2

Addressing challenges in obtaining high coverage when model checking android applications

Author: Botha, Heila-Marie ; Tkachuk, O ; Van der Merwe, B ; Visser, W Date: Jul 2017 Current dynamic analysis tools for Android applications do not get good code coverage since they can only explore a subset of the behaviors of the applications and do not have full control over the environment in which they execute. In this ... Read more
Environment modeling using runtime values for JPF-Android

Author: Van der Merwe, H ; Thachuk, O ; Nel, S ; Van der Merwe, B ; Visser, W Date: Nov 2015 Software applications are developed to be executed in a specific environment. This environment includes external/ native libraries to add functionality to the application and drivers to fire the application execution. For testing and verification, ... Read more

Now showing items 1-2 of 2

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Tel: + 27 12 841 2911
Email: callcentre@csir.co.za

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing by Subject "Android applications"

Browsing by Subject "Android applications"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect