PakCat catalogue record Class testing from ocl class contract specifications using evoluationary multi - objective genetic algorithms By Rehan Farooq Bibliographic details PublisherInternational Islamic University Publication placeIslamabad Material typeThesis Physical descriptionp.