Schedule details:



  1. Day One – Session 1 (Dr. Zamani)
  2. Day One – Session 2 (Ms. Hojaji)
  3. Day One – Session 3 (Dr. Mahmoudzadeh & Mr. Mousavi)
  4. Day Two – Session 1 (Mr. Fazli)
  5. Day Two – Session 2 (Dr. Afsharchi)
  6. Day Two – Session 3 (Mr. Tavassoli)



See the poster here.

Please let us know if there is any problem with registration, by commenting in this post.

Registration Process There are two ways for registration:

  1. Through the Evand site:
  2. Through the Free Education Center of University of Isfahan:
    • Visit HERE.
    • Select the first option.
    • Select “Model-Based Design, Test, and Verification of Software Workshop”.
Objective The main objective of this workshop is to familiarize engineers and practitioners from the industry with the state-of-the-art methods and tools for modeling, verification, and testing of software systems. People from academia are welcome too, but the focus of this workshop will be on practice rather than theory.
Organization This two-day workshop includes a testing day and a verification day. Each day has two modules, and each module will be offered in a half-day timeframe.
Lecturers and Speakers The lecturers and speakers are experts in the engineering of dependable software systems from well-known domestic universities as well as international institutions.
Pre-requisites Attendees must have an academic or industrial background in software development and be familiar with the following topics:

  • Some level of exposure to multi-threaded and/or distributed programming will be helpful but not required.
  • The Unified Modeling Language (UML).
  • Basic knowledge of Graph Theory (e.g., paths, cycles, search algorithms in graphs such as BFS and DFS).
  • Familiarity with common programming languages such as C/C++ and Java.
Date and Time Day1: Wednesday, June 19, 2019 (1398/3/29), 8:00 Am to 6:00 PM
Day2: Thursday & June 20, 2019 (1398/3/30), 8:00 Am to 6:00 PM
Registration Fee
  1. ‏Through registration in Evand:
    • 4,100,000 IRR (Two lunches included)
  2. Through registration in the Free Education Center of University of Isfahan:
    • 3,900,000 IRR (Two lunches included)
    • 50% discount for students
    • 20% discount for corporate registration (2 or more)
Software/Hardware Requirements Participant must have their own laptop with the following configuration:

  • Microsoft® Windows® 7/8/10 (32- or 64-bit)
  • 4 GB RAM minimum, 8 GB RAM recommended.
  • 4 GB of available disk space minimum
  • Eclipse, Java, JRE
  • Linux (or a Linux virtual machine on Windows)
  • GCC, Wish, tcl/tk and development packages installed on Linux


Workshop Schedule:


Day One
Dynamic Verification and Validation (V&V) of Executable Models
Speakers Ms. Fazilat Hojaji and Dr. Bahman Zamani from University of Isfahan
Session 1 Models, meta-models, and model transformations
Session 2 Model execution and executable models
Session 3 Execution trace management to support dynamic V&V
Modeling and Verification of Concurrent Programs
Speakers Mr. Hassan Mousavi and Dr. Elham Mahmoudzadeh from Isfahan University of Technology
Session 1 Modeling shared memory and message-passing concurrent programs
Session 2 Specifying freedom from concurrency bugs (i.e., data race, deadlock, starvation)
Session 3 Verification of concurrent programs as well as failure visualization


Day Two
Structural Testing and Test Data Generation from Code
Speaker Mr. Ebrahim Fazli from University of Zanjan
Session 1 Basics of structural testing
Session 2 Automatic test data generation
Session 3 Constraint solving
Industrial-Level Testing
Speakers Mr. Hossein Tavassoli and Dr. Mohsen Afsharchi from University of Zanjan
Session 1 From unit testing to performance testing
Session 2 Tools for software testing at the industrial level
Session 3 Live demo; Step by step software testing


Leave a Reply

Your email address will not be published. Required fields are marked *