Alper Sen

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 38

Top Topics

Fault Localization

Machine Learning

Android Application

Test Generation

Top Venues

Publications

Baran Kiliç, Can C. Özturan, Alper Sen
Parallel analysis of Ethereum blockchain transaction data using cluster computing. Clust. Comput. 25 (3) (2022)
Yavuz Köroglu, Alper Sen
Fast Witness Generation for Readable GUI Test Scenarios via Generalized Experience Replay. IEEE Access 10 (2022)
Abdullah Murat Buldu, Alper Sen, Karthik Swaminathan, Brian Kahne
MBET: Resilience Improvement Method for DNNs. AITest (2022)
Baran Kiliç, Alper Sen, Can C. Özturan
Fraud Detection in Blockchains using Machine Learning. BCCA (2022)
Yavuz Köroglu, Alper Sen
Functional test generation from UI test scenarios using reinforcement learning for android applications. Softw. Test. Verification Reliab. 31 (3) (2021)
Mehmet Melih Arici, Alper Sen
Improving Robustness of Deep Learning Systems with Fast and Customizable Adversarial Data Generation. AITest (2021)
Ahmet Sapan, Bilgehan Öztekin, Ersin Ünsal, Alper Sen
Testing OpenAPI Banking Payment System with Model Based Test Approach. UYMS (2020)
Ahmet Gül, Yavuz Köroglu, Alper Sen
Machine Learning Based Bug Prediction Engine For Smart Contracts. UYMS (2020)
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
Importance-Driven Deep Learning System Testing. CoRR (2020)
Baran Kiliç, Can C. Özturan, Alper Sen
A Cluster Based System for Analyzing Ethereum Blockchain Transaction Data. BCCA (2020)
Samet Demir, Hasan Ferit Eniser, Alper Sen
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning. AISafety@IJCAI (2020)
Yavuz Köroglu, Alper Sen, Abdurrahman Akin
Automated Functional Test Generation Practice for a Large-Scale Android Application. UYMS (2020)
Hasan Ferit Eniser, Alper Sen
Virtualization of stateful services via machine learning. Softw. Qual. J. 28 (1) (2020)
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
Importance-driven deep learning system testing. ICSE (2020)
Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan
Importance-driven deep learning system testing. ICSE (Companion Volume) (2020)
Mustafa Efendioglu, Alper Sen, Yavuz Köroglu
Bug Prediction of SystemC Models Using Machine Learning. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (3) (2019)
Yavuz Köroglu, Alper Sen
Reinforcement Learning-Driven Test Generation for Android GUI Applications using Formal Specifications. CoRR (2019)
Samet Demir, Hasan Ferit Eniser, Alper Sen
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning. CoRR (2019)
Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
DeepFault: Fault Localization for Deep Neural Networks. CoRR (2019)
Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
DeepFault: Fault Localization for Deep Neural Networks. FASE (2019)
Hasan Ferit Eniser, Alper Sen
Testing service oriented architectures using stateful service visualization via machine learning. AST@ICSE (2018)
Alper Sen, Onder Kalaci
Hybrid Data Race Detection for Multicore Software. Comput. Informatics 37 (1) (2018)
Hasan Ferit Eniser, Alper Sen, Suleyman Olcay Polat
Fancymock: creating virtual services from transactions. SAC (2018)
Muharrem Orkun Saglamdemir, Günhan Dündar, Alper Sen
Analog behavioral equivalence boundary computation under the effect of process variations. Integr. 61 (2018)
Yavuz Köroglu, Alper Sen, Ozlem Muslu, Yunus Mete, Ceyda Ulker, Tolga Tanriverdi, Yunus Donmez
QBE: QLearning-Based Exploration of Android Applications. ICST (2018)
Yavuz Köroglu, Alper Sen
TCM: Test Case Mutation to Improve Crash Detection in Android. FASE (2018)
Serkan Kirbas, Bora Caglayan, Tracy Hall, Steve Counsell, David Bowes, Alper Sen, Ayse Bener
The relationship between evolutionary coupling and defects in large industrial software (journal-first abstract). SANER (2018)
Serkan Kirbas, Tracy Hall, Alper Sen
Evolutionary coupling measurement: Making sense of the current chaos. Sci. Comput. Program. 135 (2017)
Hasan Ferit Eniser, Alper Sen, Suleyman Olcay Polat
Otomatik Sanal Servis Olusturma(Automatic Virtual Service Creation). UYMS (2017)
Yavuz Köroglu, Mustafa Efendioglu, Alper Sen
Android'de Cokme Tespitini Iyilestirme Amacli Model-Tabanli ve Rastgele Karma Yontem(Combining Model-Based and Random Approaches to Improve Crash Detection in Android). UYMS (2017)
Alper Sen, Etem Deniz, Brian Kahne
MINIME-validator: Validating hardware with synthetic parallel testcases. DATE (2017)
Serkan Kirbas, Bora Caglayan, Tracy Hall, Steve Counsell, David Bowes, Alper Sen, Ayse Bener
The relationship between evolutionary coupling and defects in large industrial software. J. Softw. Evol. Process. 29 (4) (2017)
Salih Bayar, Alper Sen
e-Arsiv Fatura icin Aksakliga Dayanikli Dagitik bir Sistem Tasarimi. UYMS (2016)
Muharrem Orkun Saglamdemir, Gönenç Berkol, Günhan Dündar, Alper Sen
An analog behavioral equivalence boundary search methodology for simulink models and circuit level designs utilizing evolutionary computation. Integr. 55 (2016)
Yavuz Köroglu, Alper Sen
Design of a Modified Concolic Testing Algorithm with Smaller Constraints. CSTVA@ISSTA (2016)
Yavuz Köroglu, Alper Sen, Doruk Kutluay, Akin Bayraktar, Yalcin Tosun, Murat Çinar, Hasan Kaya
Defect prediction on a legacy industrial software: a case study on software with few defects. CESI@ICSE (2016)
Etem Deniz, Alper Sen
Using Machine Learning Techniques to Detect Parallel Patterns of Multi-threaded Applications. Int. J. Parallel Program. 44 (4) (2016)
Etem Deniz, Alper Sen
MINIME-GPU: Multicore Benchmark Synthesizer for GPUs. ACM Trans. Archit. Code Optim. 12 (4) (2016)
Yavuz Köroglu, Alper Sen
Büyüyen Kısmi Yol Kısıtlarıyla Konkolik Test. UYMS (2015)
Salih Bayar, Mehmet Görkem Ülkar, Alper Sen
Kullanıcı Tarafında eBelge Oluşturma ve Yazdırma Yazılım Deneyimleri. UYMS (2015)
Alper Sen, Etem Deniz
Thread-level synthetic benchmarks for multicore systems. Microprocess. Microsystems 39 (7) (2015)
Etem Deniz, Alper Sen, Brian Kahne, Jim Holt
MINIME: Pattern-Aware Multicore Benchmark Synthesizer. IEEE Trans. Computers 64 (8) (2015)
Alper Sen, Gökçehan Kara, Etem Deniz, Smaïl Niar
Fast System Level Benchmarks for Multicore Architectures. DSD (2014)
Serkan Kirbas, Alper Sen, Bora Çaglayan, Ayse Bener
Değişiklik Bağlaşımı ve Yazılım Hataları İlişkisinin İncelenmesi. UYMS (2014)
Alper Sen, Onder Kalaci
Hybrid dynamic data race detection in systemC. FDL (2014)
Serkan Kirbas, Alper Sen, Bora Caglayan, Ayse Bener, Rasim Mahmutogullari
The effect of evolutionary coupling on software defects: an industrial case study on a legacy system. ESEM (2014)
Serkan Kirbas, Alper Sen
Yazılım Depoları Madenciliği ile Endüstriyel Yazılım Evrimi İncelemesi. UYMS (2013)
Dogan Ulus, Alper Sen, I. Faik Baskaya
Analog layer extensions for analog/mixed-signal assertion languages. VLSI-SoC (2013)
Dogan Ulus, Alper Sen, I. Faik Baskaya
Integrating circuit analyses for assertion-based verification of programmable AMS circuits. FDL (2013)
Marcelo Sousa, Alper Sen
LLVMVF: A Generic Approach for Verification of Multicore Software. J. Electron. Test. 29 (5) (2013)
Etem Deniz, Alper Sen, Jim Holt, Brian Kahne
Using software architectural patterns for synthetic embedded multicore benchmark development. IISWC (2012)
Etem Deniz, Alper Sen, Jim Holt
Verification coverage of embedded multicore applications. DATE (2012)
Gorker Alp Malazgirt, Ender Culha, Alper Sen, I. Faik Baskaya, Arda Yurdakul
A Verifiable High Level Data Path Synthesis Framework. DSD (2012)
Marcelo Sousa, Alper Sen
Generation of TLM testbenches using mutation testing. CODES+ISSS (2012)
Dogan Ulus, Alper Sen
Using haloes in mixed-signal assertion based verification. HLDVT (2012)
Dogan Fennibay, Arda Yurdakul, Alper Sen
A Heterogeneous Simulation and Modeling Framework for Automation Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (11) (2012)
Etem Deniz, Alper Sen, Jim Holt
Verification and coverage of message passing multicore applications. ACM Trans. Design Autom. Electr. Syst. 17 (3) (2012)
Ender Culha, Gorker Alp Malazgirt, I. Faik Baskaya, Alper Sen, Arda Yurdakul
High-Level verifiable data-path Synthesis for DSP systems. SIU (2012)
Alper Sen, Can C. Özturan
Special Issue on the 9th International Symposium on Parallel and Distributed Computing. Sci. Program. 19 (1) (2011)
Alper Sen, Baris Aksanli, Murat Bozkurt
Speeding Up Cycle Based Logic Simulation Using Graphics Processing Units. Int. J. Parallel Program. 39 (5) (2011)
Alper Sen, Etem Deniz
Verification Tests for MCAPI. MTV (2011)
Alper Sen
Concurrency-oriented verification and coverage of system-level designs. ACM Trans. Design Autom. Electr. Syst. 16 (4) (2011)
Alper Sen, Baris Aksanli, Murat Bozkurt, Melih Mert
Parallel Cycle Based Logic Simulation Using Graphics Processing Units. ISPDC (2010)
Dogan Fennibay, Arda Yurdakul, Alper Sen
Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design of Real-time Embedded Systems. CIT (2010)
Alper Sen, Magdy S. Abadir
Coverage metrics for verification of concurrent SystemC designs using mutation testing. HLDVT (2010)
Alper Sen, Baris Aksanli, Murat Bozkurt
Using Graphics Processing Units for Logic Simulation of Electronic Designs. MTV (2010)
Scott Little, David Walter, Kevin R. Jones, Chris J. Myers, Alper Sen
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. Int. J. Found. Comput. Sci. 21 (2) (2010)
Alper Sen
Mutation Operators for Concurrent SystemC Designs. MTV (2009)
Alper Sen, Vinit Ogale, Magdy S. Abadir
Predictive runtime verification of multi-processor SoCs in SystemC. DAC (2008)
Selma Ikiz, Alper Sen
Runtime Verification of k-Mutual Exclusion for SoCs. MTV (2007)
Neeraj Mittal, Alper Sen, Vijay K. Garg
Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distributed Syst. 18 (12) (2007)
Alper Sen
Error Diagnosis in Equivalence Checking of High Performance Microprocessors. Electron. Notes Theor. Comput. Sci. 174 (4) (2007)
Scott Little, Alper Sen, Chris J. Myers
Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits. MTV (2007)
Alper Sen, Vijay K. Garg
Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56 (4) (2007)
Himyanshu Anand, Jayanta Bhadra, Alper Sen, Magdy S. Abadir, Kenneth G. Davis
Establishing latch correspondence for embedded circuits of PowerPC microprocessors. HLDVT (2005)
Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya
Finding Satisfying Global States: All for One and One for All. IPDPS (2004)
Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra
Formal Verification of a System-on-Chip Using Computation Slicing. ITC (2004)
Alper Sen, Vijay K. Garg
On Checking Whether a Predicate Definitely Holds. FATES (2003)
Alper Sen, Vijay K. Garg
Partial Order Trace Analyzer (POTA) for Distributed Programs. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)
Alper Sen, Vijay K. Garg
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. OPODIS (2003)
Alper Sen, Vijay K. Garg
Detecting Temporal Logic Predicates on the Happened-Before Model. IPDPS (2002)