Topic > en “choc´Late a framework for specification-based testing” acm communications 2010