Surface seawaters from the Dona Paula Bay, were collected at weekly intervals during March 2007 to March 2008, and analyzed for butyltins (BT) such as tributyltin (TBT), dibutyltin (DBT), monobutyltin (MBT) using a GC-MS system. The mean concentrations of TBT, DBT, MBT and total BT varied from <1-37, 4-19, 6-28 and 21-84 ng Sn L(-1), respectively. Highest levels of BTs were recorded during May ...

Many verification tools used in practice rely on sophisticated SAT and SMT solvers. These reasoning engines are assumed and expected to be correct, but, in general, too complex to be fully verified. Therefore, effective testing techniques have to be employed. In this paper, we show how to employ model-based testing (MBT) to test sequences of application programming interface (API) calls and dif...

Model-based testing (MBT) is an approach that takes software specification as the base for the formal model creation and, from it, enables the test case extraction. Depending on the type of model, an MBT tool can support functional and statistical tests. However, there are few tools that support both testing techniques. Moreover, the ones that support them offer a limited number of coverage cri...

Software testing is a crucial activity to a successful software project that demands a significant effort. Aiming at improving software quality as well as to reduce the costs of testing process, we developed TaRGeT, a ModelBased Testing (MBT) tool that automatically generates test cases from use case scenarios written in natural language. In this paper we present TaRGeT and show quantitative an...

Modellbasiertes Testen (MBT) spielt eine immer größere Rolle, um den Testentwurf während eines Testprozesses zu systematisieren. Vorgehensmodelle im Hinblick auf Modellbildung, Testfallspezifikation, Generierung der Testfälle und Testdurchführung sind vorhanden (vgl. [2], [4], [5], [7]). Der fundamentale Testprozess (FTP) von Spillner und Linz [6] bietet eine gesamtheitliche Sicht, von der Plan...

OBJECTIVE A Malabsorption Blood Test (MBT) is proposed as an alternative method to the 72-hour stool and dietary collection for assessing the degree of fat malabsorption in people with pancreatic insufficiency. The MBT consists of a simultaneous oral dose of pentadecanoic acid (PA), a free fatty acid, and triheptadecanoic acid (THA), a triglyceride with three heptadecanoic (HA) saturated fatty ...

Abstract Metaphors, a central conduit of change in psychotherapy, have not been taken adequately into account Mentalization-Based Treatment (MBT). Despite successfully utilized by other evidence-based treatments for borderline personality disorder (BPD), MBT considers metaphors confusing patients with low mentalizing abilities. For and teaching stories to stimulate growth within the window tole...

( ) ABSTRACT: A new O N log N FFT-based method to expedite ( ) matrix ector multiplies in ol ing multile el block-Toeplitz MBT matrices is presented. The method is also a minimal memory method with ( ) O N memory requirements because only nonredundant entries of the MBT matrix are stored. The accuracy and con ergence of the method are illustrated in the calculation of the scattered field and th...

We present an empirical study in which model-based testing (MBT) was applied to a mobile system: the Android client of QuizUp, the largest mobile trivia game in the world. The study shows that traditional MBT approaches based on extended finite-state machines can be used to test a mobile app in an effective and efficient way. Non-trivial defects were detected on a deployed system that has milli...

A GC-MS with electron impact ionization was used for the development of a speciation method for the simultaneous determination of monobutyl-, dibutyl-, and tributyltin in environmental samples (waters, sediments, and biota). The method is based on the use of a mixed spike containing Sn-enriched monobutyltin (MBT), dibutyltin (DBT), and tributyltin (TBT) for isotope dilution analysis. The mixed ...