ResearchSpace
→
Browsing by Author

Browsing by Author "Van der Merwe, B"

Now showing items 1-5 of 5

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
African maize porridge: a food with slow in vitro starch digestibility

Author: Van der Merwe, B ; Erasmus, C ; Taylor, JRN Date: 15 Feb 2001 The incidence of diabetes is very low in rural, traditionally living, South African Black people, but higher in the urbanised Black population. One factor that could have contributed to the increased prevalence of diabetes is the change in ... 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
On regular expressions with backreferences and transducers

Author: Berglund, Martin ; Drewes, F ; Van der Merwe, B Date: Aug 2018 Modern regular expression matching software features many extensions, some general while some are very narrowly specified. Here we consider the generalization of adding a class of operators which can be described by, e.g. finite-state ... Read more
The output size problem for string-to-tree transducers

Author: Berglund, Martin ; Drewes, F ; Van der Merwe, B Date: Apr 2018 The output size problem, for a string-to-tree transducer, is to determine the asymptotic behavior of the function describing the maximum size of output trees, with respect to the length of input strings. We show that the problem to determine, ... Read more

Now showing items 1-5 of 5

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 Author "Van der Merwe, B"

Browsing by Author "Van der Merwe, B"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect