| 2024 | QRS | DeepDTS: Diverse Test Selection Method for Deep Neural Networks. | Mert Dedekoy, Alper Sen |
| 2020 | IJCAI | DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning. | Samet Demir, Hasan Ferit Eniser, Alper Sen |
| 2020 | ICSE | Importance-driven deep learning system testing. | Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper akan |
| 2020 | ICSE | Importance-driven deep learning system testing. | Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper akan |
| 2019 | FASE | DeepFault: Fault Localization for Deep Neural Networks. | Hasan Ferit Eniser, Simos Gerasimou, Alper Sen |
| 2018 | FASE | TCM: Test Case Mutation to Improve Crash Detection in Android. | Yavuz Kroglu, Alper Sen |
| 2018 | ICSE | Testing service oriented architectures using stateful service visualization via machine learning. | Hasan Ferit Eniser, Alper Sen |
| 2018 | ICST | QBE: QLearning-Based Exploration of Android Applications. | Yavuz Kroglu, Alper Sen, Ozlem Muslu, Yunus Mete, Ceyda Ulker, Tolga Tanriverdi, Yunus Donmez |
| 2018 | SAC | Fancymock: creating virtual services from transactions. | Hasan Ferit Eniser, Alper Sen, Suleyman Olcay Polat |
| 2017 | DATE | MINIME-validator: Validating hardware with synthetic parallel testcases. | Alper Sen, Etem Deniz, Brian Kahne |
| 2016 | ICSE | Defect prediction on a legacy industrial software: a case study on software with few defects. | Yavuz Kroglu, Alper Sen, Doruk Kutluay, Akin Bayraktar, Yalcin Tosun, Murat inar, Hasan Kaya |
| 2016 | ISSTA | Design of a Modified Concolic Testing Algorithm with Smaller Constraints. | Yavuz Kroglu, Alper Sen |
| 2014 | DSD | Fast System Level Benchmarks for Multicore Architectures. | Alper Sen, Gkehan Kara, Etem Deniz, Smal Niar |
| 2014 | ESEM | The effect of evolutionary coupling on software defects: an industrial case study on a legacy system. | Serkan Kirbas, Alper Sen, Bora Caglayan, Ayse Bener, Rasim Mahmutogullari |
| 2014 | FDL | Hybrid dynamic data race detection in systemC. | Alper Sen, Onder Kalaci |
| 2013 | FDL | Integrating circuit analyses for assertion-based verification of programmable AMS circuits. | Dogan Ulus, Alper Sen, I. Faik Baskaya |
| 2012 | DATE | Verification coverage of embedded multicore applications. | Etem Deniz, Alper Sen, Jim Holt |
| 2012 | DSD | A Verifiable High Level Data Path Synthesis Framework. | Gorker Alp Malazgirt, Ender Culha, Alper Sen, I. Faik Baskaya, Arda Yurdakul |
| 2010 | ISPDC | Parallel Cycle Based Logic Simulation Using Graphics Processing Units. | Alper Sen, Baris Aksanli, Murat Bozkurt, Melih Mert |
| 2008 | DAC | Predictive runtime verification of multi-processor SoCs in SystemC. | Alper Sen, Vinit Ogale, Magdy S. Abadir |
| 2004 | ITC | Formal Verification of a System-on-Chip Using Computation Slicing. | Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra |
| 2003 | OPODIS | Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. | Alper Sen, Vijay K. Garg |