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]