Learn More
This paper describes two Haskell libraries for property-based testing. Following the lead of QuickCheck, these testing libraries SmallCheck and Lazy SmallCheck also use type-based generators to obtain test-sets of finite values for which properties are checked, and report any counter-examples found. But instead of using a sample of randomly generated values(More)
We present a novel approach for 3d-scene interpretation with numerous applications, for instance in robotics. The models are rendered using 3d graphics hardware and DirectX. Both artificial and real images were used to test the system. More than one target image can be used, allowing stereoscopic vision. These experiments present results of interesting(More)
Random testing is a powerful method for verifying program properties. However, as the complexity of the program and properties increases, writing customized input data generators quickly becomes necessary. We present a method for systematic generation of input data by lazy instantiation using meta variables and parallel partial evaluation of properties.(More)
AIM To study factors of relevance for the understanding of disclosure of child sexual abuse. METHODS Cases from a Swedish district court involving 47 children in which allegations of child sexual abuse had been corroborated by a confession from the defendant were studied. RESULTS Delayed disclosure was related to a close relationship with the(More)
UNLABELLED The rate of subjective health complaints among Swedish children is increasing by age and over time, and more so than among children in other Scandinavian countries. In contrast, the somatic health and prerequisites for wellbeing are excellent. This paradoxical situation, The Enigma of the Welfare State, is the focus of this viewpoint. We argue(More)
  • 1