Members

Aamer Nadeem

Professor,

Head
Software testing; Software fault tolerance; Formal methods. [View Profile]

Mudassar A. Sindhu

Associate Professor,

Software testing: Formal Methods, Model Based Testing, Learning Based Testing

Qamar uz Zaman

Coordindator, Ph.D. Scholar

Research Topic: Formalizing Use Case model for model checking

Nadeem Fakhar

Ph.D. Scholar

Research Topic: State based testing of AJAX web applications

Muhammad Rizwan

Ph.D. Scholar

Research Topic: Coupling based software fault prediction

M. Bilal Khan

Ph.D. Scholar

Research Topic: Software fault prediction using Halstead metric suite

Fakeeha Jaferi

Ph.D. Scholar

Research Topic: Metamorphic testing of image processing applications

Misbah Naheed

Ph.D. Scholar

C.S.D. Member

Marrije Adnan

MS Scholar

Research Topic: Black box testing approach to cross site scripting vulnerability detection