منابع مشابه
Gast: Generic Automated Software Testing
Software testing is a labor-intensive and hence expensive, yet heavily used technique to control quality. In this paper we introduce Gast, a fully automatic test-tool. Properties from first order logic can be expressed in the system, Gast automatically generates appropriate test-data, evaluates the property for these values, and analyzes the test-results. In this way it becomes easier and cheap...
متن کاملGuz onkocytarny nadnercza — opis przypadku
Adrenocortical oncocytoma is found very rarely. Most such tumours are benign and nonfunctioning. We report the case of a nonfunctioning adrenocortical oncocytoma located in the right adrenal gland in a 35-year-old man. The patient was tested because of arrhythmia. An adrenal mass of 68 × 64 mm was found during ultrasonography, followed by CT examination. Physical examination indicated obesity w...
متن کاملTesting reactive systems with GAST
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to evaluate the results of these tests. Many reactive systems, like automata and protocols, however, are specified by a model rather than in logic. There exist tools that are able to test software described by such a model...
متن کاملAlbert Moll Sources and Bibliography
During the research for this project a large number of archives and libraries were consulted which hold material by, or referring to, Albert Moll. The majority of the printed material can be found in libraries in Berlin – Staatsbibliothek Berlin [State Library Berlin], Bibliothek der Humboldt-Universität zu Berlin [Library of the Humboldt-University] and Zentralund Landesbibliothek Berlin [Cent...
متن کاملGAST, a Genomic Alignment Search Tool
Alignment to a genomic sequence is a common task in modern bioinformatics. By improving the methods used, significant amount of time and resources can be saved. We have developed a new genomic alignment search tool, called GAST, for sequences of at least 160 nt. GAST is many times faster than commonly used alignment tools BLAT and Mega BLAST. As the sizes of query sequences and the database inc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bolletino di zoologia
سال: 1954
ISSN: 0373-4137
DOI: 10.1080/11250005409438172