Waterfall and agile requirements-based model for automated test cases generation
A System to Generate Test Data and Symbolically Execute Programs