Searching for schizophrenia in ancient Greek and Roman literature: A systematic review

Objective: The aim of this study was to systematically examine ancient Roman and Greek texts to identify descriptions of schizophrenia and related disorders. Method: Material from Greek and Roman literature dating from the 5th Century BC to the beginning of the 2nd Century AD was systematically reviewed for symptoms of mental illness. DSM IV criteria were applied in order to identify material related to schizophrenia and related disorders. Results: The general public had an awareness of psychotic disorders, because the symptoms were described in works of fiction and in historical accounts of malingering. There were isolated instances of text related to psychotic symptoms in the residents of ancient Rome and Greece, but no written material describing a condition that would meet modern diagnostic criteria for schizophrenia. Conclusion: In contrast to many other psychiatric disorders that are represented in ancient Greek and Roman literature, there were no descriptions of individuals with schizophrenia in the material assessed in this review.

Tool support for generating passive C++ test oracles from object-z specifications

A test oracle provides a means for determining whether an implementation behaves according to its specification. A passive test oracle checks that the correct behaviour has been implemented, but does not implement the behaviour itself. In previous work, we have presented a method that allows us to derive passive C++ test oracles from formal specifications written in Object-Z. We describe the "Warlock" prototype tool that supports the method. Warlock is built on top of an existing Object-Z type checker and generates oracle code for a substantial subset of the Object-Z language. We describe the architecture of Warlock and its application to a number of Object-Z specifications. We also discuss its current limitations.