3rd Workshop on Dependability

May 8, Monday 2017 9:30 - 17:00 @ Innovation Center in İYTE

 

9:00 Registration

09:30 Opening Remarks

09:45 Introduction - Workshop Outline and Sessions

Invited Speech (Tugkan Tuglular)

• 10:00  Seer: A Lightweight Online Failure Prediction Approach (Cemal Yılmaz, Sabancı University)
             [Abstract] [Presentation]

10:45  Break

Session 1: Experiences and Monitoring (Serap Sahin)

• 11:00  Automated Functional Testing with tSQLt (Gizem Celik Elmas, Siskon, DEÜ, Tınaztepe Yerleşkesi)
             [Abstract] [Presentation]
• 11:30  Developing a formal methods solution for system monitoring, (Ebru Aydın Göl, Middle East Technical University)
             [Abstract] [Presentation]
• 12:00  ZCLOUD, Consensus on Hardware for Distributed Systems (Gokhan Boranalp, Zetaops)
             [Abstract] [Presentation]

12:30  Lunch Break

Session 2: Configuration/Reconfiguration, Change Modeling (Selma Tekir)

• 13:30  An Incremental Constraint Satisfaction Algorithm for Dynamic Reconfiguration (Sina Entekhabi, Ahmet Serkan Karataş, and Halit Oğuztüzün, Middle East Technical University)
             [Abstract] [Presentation]
• 14:00  Tarski: A Platform for Automated Analysis of Dynamically Configurable Traceability Semantics Ferhat Erata, ITEA (Information Technology for European Advancement)
             [Abstract] [Presentation]
• 14:30  An Architecture for Test Case Prioritization Based on Change and Effect Graphs Using Bayesian Networks (Ekincan Ufuktepe, Tugkan Tuglular, İYTE)
             [Abstract] [Presentation]

15:00  Break

Session 3: Best Practices (Mutlu Beyazit)

• 15:15  Pairwise and Multiple Base Choice Coverage Approach for DVB-T2 Receiver RF Testing (Çağlar İşlek, Abdullah Tav, Eyüp Karaoğlu, Vestel Elektronik)
             [Abstract] [Presentation]
• 15:45  Secure Web Application Development Methodologies and Automated Tools (Murat Kaya, Bimar Bilgi İşlem Hizmetleri A.Ş.)
             [Abstract] [Presentation]
• 16:15  Regression Test Automation Best Practices Using Telerik Test Studio, (Şenay Güngör, Bimar Bilgi İşlem Hizmetleri A. Ş.)
             [Abstract] [Presentation]

Closing Remarks

• 16:45  Workshop Summary and Next Workshop