Open for BS SupervisionCOMSATS University Islamabad, Lahore
Open Supervision Topic
Available for SupervisionCurrent Academic SessionBS Software Engineering / BS Computer Science
Automatic Test Data Generation for Data Processing Systems
Generate valid and faulty test inputs for complex data processing systems using constraints and mutation operators, reducing the cost of manual input-space exploration.
Automated TestingConstraint SolvingMutation Testing
Dr. Junaid AkramLead Supervisor
Software Quality & TestingCOMSATS University Islamabad, Lahore Campus
Expected deliverables
- Model-based test data generator
- Mutation and constraint-based test vector synthesizer
- Benchmark test suite report
Supervision prerequisites
Recommended Prerequisites
Software testing, constraint solving, Python/Java
PythonJavaZ3 SMT SolverMutation Engines
Source & Verification
Official Listing Details
Source: Official COMSATS Supervision Listing
Last Verified: July 2026