In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting prototype, called Fastest, makes it easy to generate test cases from Z specifications. We not only apply the ideas of the referred framework but we also use a technique based on finite models to find test cases, which ha...

There is much concern among parents, educators and policy makers regarding the dangers that Internet usage poses to children. The aim of this paper is to identify the actual risks that are associated with primary school children using the Internet. It is important that research be undertaken in this area to allow the various stake-holders the opportunity to separate the actual and perceived ris...