Unit Testing from Partial and Informal Requirements