4th Workshop in 2018 – Workshop on Dependability

4th Workshop on Dependability

May 21, Monday 2018 9:30 – 17:00 @ Innovation Center in İYTE

9:00 Registration

09:30 Opening Remarks

09:45 Introduction – Workshop Outline and Sessions

Invited Speech

10:00 Sofware Quality as a Differentiator (Sadık Eşmelioğlu, Middle East Technical University)
[Abstract][Presentation]

10:45 Break

Session 1:

11:00 Fourier Analysis-based FSM Testing (Savaş Takan, Tolga Ayav; Izmir Institute of Technology Dept. of Computer Engineering)
[Abstract][Presentation]
11:30 Model Checking of the Process Control Program for a Hydrogen Pilot Plant (Burak Ökten, Halit Oğuztüzün; METU Dept. of Computer Engineering)
[Abstract][Presentation]
12:00 Achieving The Ideal Testing on HDL Programs (Onur Kılınççeker, Ercument Turk, Moharram Challenger, Fevzi Belli; Izmir Institute of Technology, Univ. of Paderborn, Mugla Sitki Kocman University)
[Abstract][Presentation]

12:30 Lunch Break

Session 2:

13:30 Towards Event Sequence Graph-based Testing of Feature-oriented Software (Tugkan Tuglular, Fevzi Belli, Dilek Ozturk; Izmir Institute of Technology Dept. of Computer Engineering)
[Abstract][Presentation]
14:00 Analyzing the Validity of Selective Mutation with Dominator Mutants (Bob Kurtz, Paul Ammann, Jeff Offutt, Márcio E. Delamaro, Mariet Kurtz, Nida Gökçe;
George Mason University Fairfax VA, Instituto de Ciencias Matematicas e de Computacao Universidade de Sao Paulo Sao Carlos, The MITRE Corporation McLean VA, Mugla Sitki Kocman University)
[Abstract][Presentation]
14:30 Automated Functional Testing with tSQLt in VSTS (Zeynep Çağdaş; Siskon Otomasyon ve Yazilim A.S.)
[Abstract][Presentation]

15:00 Break

Session 3

15:15 Image-based Smoke Testing of Facebook Games: Web Test Automation via Python, Selenium and BrowserStack (Tekin Evrim Ozmermer, Tugkan Tuglular; Digitoy Games, Izmir Institute of Technology)
[Abstract][Presentation]
15:45 Large-scale Complex Critical Infrastructure (CI) Protection By Advanced Modeling, Simulation, and Optimization for Resilience (Erdal Taşkent)
[Abstract]
16:15 ModelWriter: Text & Model-Synchronized Document Engineering Platform (Ferhat Erata; ITEA (Information Technology for European Advancement) )
[Abstract]

Closing Remarks