Learn More
Pioneering legislation regarding donor insemination was introduced in Sweden in 1985. The law gives the child, upon reaching sufficient maturity, the right to obtain information about the donor and his identity. One hundred and forty-eight Swedish couples with children conceived through donor insemination after the law was introduced have answered questions(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)
The gradually changing behavior of the population, towards urbanization, led to an increased shortage of available housing. This development has resulted in a serious issue in Sweden, where too few firms are providing solutions for multi-family houses in wood. Potential firms that could fill this increasing demand are those in the single-family house(More)
  • 1