OneLineSummary The topic of the project is the comparative study of the coverage of the tests generated by the QuickCheck tool against real coverage requirements
From CERES
A list of all pages that have property "OneLineSummary" with value "The topic of the project is the comparative study of the coverage of the tests generated by the QuickCheck tool against real coverage requirements"