+92 42 99029450



    Software Testing is an integral part of development life cycle. In the past, its importance had been neglected until a few disasters struck which forced the industry to address this field more formally. 

    In this tutorial, we shall cover the fundamentals of software testing and its evolution in the software industry, topics on formal methods, reverse engineering and machine learning applications. The detailed program is given on the next page.


    Target Audience:


    This tutorial is designed for software practitioners and researchers who would like to understand the art of “Software Testing” in detail along with its types, methods and levels. It has special focus on the application of formal methods and machine learning algorithms. This tutorial provides enough ingredients to start with the software testing practice and research from where you can take yourself to higher levels of expertise.


    About the presenter:


    Dr. Muzammil Shahbaz has 15 years of software R&D experience in telecom and transportation domains in four countries. He was conferred the status of Chartered Engineer by the Engineering Council, UK in 2015. He is currently a senior engineer at Ultra Electronics Aerospace Division in the UK. Previously, he was a research associate at the University of Sheffield, UK, conducting research in Motorola projects, senior engineer at Fraunhofer IESE, Germany, investigating in Mercedes-Benz projects, and researcher and team leader at Orange Labs, France. His research interests include Model Driven Engineering, Reverse Engineering, Software Validation & Verification, Formal Methods and Machine Learning algorithms. Among several international publications, he authored a book titled "Reverse Engineering and Testing of Black-Box Software Components" (ISBN: 3659140732) published in 2012. 

    Workshop Fee : Participants need to pay the workshop fee in cash upon arrival on the day of event.

    For Students: Rs. 1000/-

    For Professionals : Rs. 3000/-

    Program Schedule:

    Date : March 21-23, 2016


    Day 1: Introduction
    Day 2: Formal Methods
    Day 3: Machine Learning
    • Fundamentals of Software Testing
    • Test Oracles and their types
    • Models (V-Model and Agile)
    • Automated Testing
    • Mocking
    • Test-as-a-service
    • Future Directions
    • Q&A
    • Structural Testing Symbolic Execution
    • Constraint Solving Mutation Testing
    • Black Box Checking
    • Q&A
    • Reverse Engineering (Active Learning for Black Box)
    • Invariant Detection
    • Genetic Algorithms
    • Inference using Natural Language Processing
    • Q&A