Research Areas


  • Programming language design and semantics
  • Program analysis and transformation
  • Runtime program generation
  • Domain-specific languages
  • Type theory
  • Architectural styles and design patterns
  • Service-oriented architectures
  • Software fault tolerance
  • Evaluation and optimization of software quality attributes
  • Distributed and adaptive systems

Selected Recent Publications


  • Ceren Sahin Gebizli, Hasan Sozer,
    Automated Refinement of Models for Model-based Testing using Exploratory Testing.
    Software Quality Journal, published online, DOI: 10.1007/s11219-016-9338-2, September 2016.

  • Hasan Sozer, Ceren Sahin Gebizli,
    Model-based testing of digital TVs: an industry-as-laboratory approach.
    Software Quality Journal, published online, DOI: 10.1007/s11219-016-9321-y, June 2016.

  • Gun Karagoz, Hasan Sozer,
    Reproducing failures based on semiformal failure scenario descriptions.
    Software Quality Journal, Vol. 25, No. 1, 2017.

  • Tolga Ayav, Hasan Sozer,
    Identifying critical architectural components with spectral analysis of fault trees.
    Applied Soft Computing, Vol. 49, 2016.

  • Ceren Sahin Gebizli, Hasan Sozer,
    Model-Based Software Product Line Testing by Coupling Feature Models with Hierarchical Markov Chain Usage Models.
    In Proceedings of the 6th IEEE International Workshop on Model-Based Verification and Validation, August 2016.

  • Tolga Ayav, Hasan Sozer,
    Moving Switching Functions to Continuous Domain.
    In Proceedings of the 6th IEEE International Workshop on Model-Based Verification and Validation, August 2016.

  • Ceren Sahin Gebizli, Hasan Sozer, Ali Ozer Ercan,
    Successive Refinement of Models for Model-Based Testing to Increase System Test Effectiveness.
    TAIC-PART 2016: Testing: Academic and Industrial Conference - Practice and Research Techniques, April 2016.

  • Metin Altinisik, Hasan Sozer,
    Automated Procedure Clustering for Reverse Engineering PL/SQL Programs.
    ACM-SAC 2016: ACM Symposium on Applied Computing, April 2016.

  • Buse Yilmaz, Baris Aktemur, Maria Garzaran, Sam Kamin, Furkan Kirac,
    Autotuning Runtime Specialization for Sparse Matrix-Vector Multiplication.
    ACM Transactions on Architecture and Code Optimization (TACO). Volume 13, Issue 1, Article 5 (March 2016)

  • Hasan Sozer,
    Integrated Static Code Analysis and Runtime Verification.
    Software: Practice and Experience, Vol. 45, No. 10, pages 1359-1373, October 2015.

  • Ceren Sahin Gebizli, Duygu Metin, Hasan Sozer,
    Combining Model-Based and Risk-Based Testing for Effective Test Case Generation.
    TAIC-PART 2015: Testing: Academic and Industrial Conference - Practice and Research Techniques, April 2015.

  • Arda Unsal, Gorkem Sazara, Baris Aktemur, Hasan Sozer,
    Adaptive Domain-Specific Service Monitoring.
    SERENE 2014: The 6th International Workshop on Software Engineering for Resilient Systems, Budapest, Hungary, October 2014.

  • Ceren Sahin Gebizli, Hasan Sozer,
    Improving Models for Model-based Testing based on Exploratory Testing.
    STA 2014: The 6th IEEE Workshop on Software Test Automation, Västerås, Sweden.

  • Ulas Yuksel, Hasan Sozer, Murat Sensoy
    Trust-based Fusion of Classifiers for Static Code Analysis.
    FUSION 2014: The 17th International Conference on Information Fusion, Salamanca, Spain.

  • Sam Kamin, Maria Garzaran, Baris Aktemur, Danqing Xu, Buse Yilmaz, Zhongbo Chen,
    Optimization by Runtime Specialization for Sparse Matrix-Vector Multiplication.
    GPCE 2014: The 13th International Conference on Generative Programming: Concepts & Experiences, Västerås, Sweden.

  • Fatih Ozturk, Erdem Sarili, Hasan Sozer, Baris Aktemur,
    Effort Estimation for Architectural Refactoring to Introduce Module Isolation.
    ECSA 2014: The 8th European Conference on Software Architecture, Vienna, Austria.

  • Koray Gulcu, Hasan Sozer, Baris Aktemur, Ali Ozer Ercan,
    Fault Masking as a Service.
    Software: Practice and Experience, Vol. 44, No. 7, pages 835-854, July 2014.

  • Feyzullah Koca, Hasan Sozer, Rui Abreu,
    Spectrum-based Fault Localization for Diagnosing Concurrency Faults.
    ICTSS 2013: The 25th IFIP International Conference on Testing Software and Systems, pages 239-254, Istanbul, Turkey, November 2013.

  • Ulas Yuksel, Hasan Sozer,
    Automated Classification of Static Code Analysis Tool Alerts: A Case Study.
    ICSM 2013: The 29th IEEE International Conference on Software Maintenance, pages 532-535, Eindhoven, The Netherlands, September 2013.

  • Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov and Chung‐chieh Shan,
    Shonan Challenge for Generative Programming.
    PEPM 2013: The ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, pages 147-154, Rome, Italy, January 2013.

  • Koray Gulcu, Hasan Sozer, Baris Aktemur,
    FAS: Introducing a Service for Avoiding Faults in Composite Services.
    SERENE 2012: The 4th International Workshop on Software Engineering for Resilient Systems, pages 106-120, Pisa, Italy, September 2012.

  • Merve Astekin, Hasan Sozer,
    Utilizing Clone Detection for Domain Analysis of Simulation Systems.
    WICSA 2012: The 10th Working IEEE/IFIP Conference on Software Architecture, pages 287-291, Helsinki, Finland, August 2012.

  • Asim Yildiz, Baris Aktemur, Hasan Sozer,
    Rumadai: A Plug-In to Record and Replay Client-Side Events of Web Sites with Dynamic Content.
    TOPI 2012: The 2nd Workshop on Developing Tools as Plug-ins, pages 88-89, Zurich, Switzerland, June 2012.


Copyright © 2011 Ozu SRL