Agile requirements engineering practices are being used more commonly by software development teams. However, practices related to quality control still depend heavily on testers' expertise and manual labor, whilst produced requirements specifications are often imprecise and hard to verify statically by both stakeholders and computers. This thesis jointly tackles the problem of verifying statically agile requirements specifications and generating full-featured test cases and automated test scripts from them. Its main contributions include: (1) a new metalanguage, called Concordia, for writing agile requirement specifications that can be used for both verification and validation (V&V) activities involving stakeholders;(2) a novel approach to generate full-featured ready to use test cases and automated test scripts from the requirements specified with the metalanguage; (3) the assessment in industrial context of the approaches' ability to reduce risk of remaining defects and the costs of V&V.