A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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 testdoi:10.17771/pucrio.acad.35867 fatcat:bioefo6m2vfyzpf3evanbx5r6a