Testing from Specifications