Tehran Institute for Advanced Studies (TeIAS)

/ Model Learning Reading Group

Reading Group

Model Learning

Mondays, Wednesdays, 11-12 (Online on Skype)

+982189174612

Organizers

Activities

  • Model Learning Reading Group

Reading Group

Model Learning

Previous
Next

Description

We interact with the programs inside cell phones, cars, pacemakers, laptops, … on a daily basis. Software errors within these systems can create devastating and dangerous hazards. Ensuring software correctness is an important discipline of software engineering. Many quality assurance techniques (e.g. model-based testing and model checking) require a model describing the behavior of the system. In this reading group, we survey various techniques of extracting behavioral models from software systems, with a focus of software product lines.

Students

Rasta Tadayyon

(University of Tehran)

Amin Asadi

(University of Tehran)

Alireza Salemi

(University of Tehran)