default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlper Sen 0001
Person information
- affiliation: Boğaziçi University, Istanbul, Turkey
Other persons with the same name
- Alper Sen 0002
![[0000-0003-1728-6538]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-1728-6538")
— Bilkent University, Ankara, Turkey - Alper Sen 0003 — Yildiz Technical University, Esenler, Istanbul, Turkey
- Alper Sen 0004 — Trailblu Yazilim Anonim, Sirketi, Turkey
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
[j23]Yavuz Köroglu, Alper Sen:
Fast Witness Generation for Readable GUI Test Scenarios via Generalized Experience Replay. IEEE Access 10: 116224-116240 (2022)- [j22]Baran Kiliç, Can C. Özturan, Alper Sen:
Parallel analysis of Ethereum blockchain transaction data using cluster computing. Clust. Comput. 25(3): 1885-1898 (2022) - 2021
- [j21]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) - 2020
- [j20]Hasan Ferit Eniser, Alper Sen:
Virtualization of stateful services via machine learning. Softw. Qual. J. 28(1): 283-306 (2020) - 2019
- [j19]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): 419-429 (2019) - 2018
- [j18]Alper Sen, Onder Kalaci:
Hybrid Data Race Detection for Multicore Software. Comput. Informatics 37(1): 186-212 (2018) - [j17]Muharrem Orkun Saglamdemir, Günhan Dündar, Alper Sen:
Analog behavioral equivalence boundary computation under the effect of process variations. Integr. 61: 39-48 (2018) - 2017
- [j16]Serkan Kirbas, Tracy Hall, Alper Sen:
Evolutionary coupling measurement: Making sense of the current chaos. Sci. Comput. Program. 135: 4-19 (2017) - [j15]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) - 2016
- [j14]Etem Deniz, Alper Sen:
Using Machine Learning Techniques to Detect Parallel Patterns of Multi-threaded Applications. Int. J. Parallel Program. 44(4): 867-900 (2016) - [j13]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: 366-375 (2016) - [j12]Etem Deniz, Alper Sen:
MINIME-GPU: Multicore Benchmark Synthesizer for GPUs. ACM Trans. Archit. Code Optim. 12(4): 34:1-34:25 (2016) - 2015
- [j11]Alper Sen, Etem Deniz:
Thread-level synthetic benchmarks for multicore systems. Microprocess. Microsystems 39(7): 471-479 (2015) - [j10]Etem Deniz, Alper Sen, Brian Kahne, Jim Holt:
MINIME: Pattern-Aware Multicore Benchmark Synthesizer. IEEE Trans. Computers 64(8): 2239-2252 (2015) - 2013
- [j9]Marcelo Sousa, Alper Sen:
LLVMVF: A Generic Approach for Verification of Multicore Software. J. Electron. Test. 29(5): 635-646 (2013) - 2012
- [j8]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): 1642-1655 (2012) - [j7]Etem Deniz, Alper Sen, Jim Holt:
Verification and coverage of message passing multicore applications. ACM Trans. Design Autom. Electr. Syst. 17(3): 23:1-23:31 (2012) - 2011
- [j6]Alper Sen, Baris Aksanli, Murat Bozkurt:
Speeding Up Cycle Based Logic Simulation Using Graphics Processing Units. Int. J. Parallel Program. 39(5): 639-661 (2011) - [j5]Alper Sen, Can C. Özturan:
Special Issue on the 9th International Symposium on Parallel and Distributed Computing. Sci. Program. 19(1): 1 (2011) - [j4]Alper Sen:
Concurrency-oriented verification and coverage of system-level designs. ACM Trans. Design Autom. Electr. Syst. 16(4): 37:1-37:25 (2011) - 2010
- [j3]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): 191-210 (2010) - 2007
- [j2]Alper Sen, Vijay K. Garg:
Formal Verification of Simulation Traces Using Computation Slicing. IEEE Trans. Computers 56(4): 511-527 (2007) - [j1]Neeraj Mittal, Alper Sen, Vijay K. Garg:
Solving Computation Slicing Using Predicate Detection. IEEE Trans. Parallel Distributed Syst. 18(12): 1700-1713 (2007)
Conference and Workshop Papers
- 2022
- [c54]Abdullah Murat Buldu, Alper Sen, Karthik Swaminathan, Brian Kahne:
MBET: Resilience Improvement Method for DNNs. AITest 2022: 72-78 - [c53]Baran Kiliç, Alper Sen, Can C. Özturan:
Fraud Detection in Blockchains using Machine Learning. BCCA 2022: 214-218 - 2021
- [c52]Mehmet Melih Arici, Alper Sen:
Improving Robustness of Deep Learning Systems with Fast and Customizable Adversarial Data Generation. AITest 2021: 37-38 - 2020
- [c51]Baran Kiliç, Can C. Özturan, Alper Sen:
A Cluster Based System for Analyzing Ethereum Blockchain Transaction Data. BCCA 2020: 59-65 - [c50]Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan:
Importance-driven deep learning system testing. ICSE (Companion Volume) 2020: 322-323 - [c49]Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan:
Importance-driven deep learning system testing. ICSE 2020: 702-713 - [c48]Samet Demir, Hasan Ferit Eniser, Alper Sen:
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning. AISafety@IJCAI 2020 - [c47]Ahmet Gül, Yavuz Köroglu, Alper Sen:
Machine Learning Based Bug Prediction Engine For Smart Contracts. UYMS 2020: 1-6 - [c46]Yavuz Köroglu, Alper Sen, Abdurrahman Akin:
Automated Functional Test Generation Practice for a Large-Scale Android Application. UYMS 2020: 1-3 - [c45]Ahmet Sapan, Bilgehan Öztekin, Ersin Ünsal, Alper Sen:
Testing OpenAPI Banking Payment System with Model Based Test Approach. UYMS 2020: 1-4 - 2019
- [c44]Hasan Ferit Eniser, Simos Gerasimou, Alper Sen:
DeepFault: Fault Localization for Deep Neural Networks. FASE 2019: 171-191 - 2018
- [c43]Yavuz Köroglu, Alper Sen:
TCM: Test Case Mutation to Improve Crash Detection in Android. FASE 2018: 264-280 - [c42]Hasan Ferit Eniser, Alper Sen:
Testing service oriented architectures using stateful service visualization via machine learning. AST@ICSE 2018: 9-15 - [c41]Yavuz Köroglu, Alper Sen, Ozlem Muslu, Yunus Mete, Ceyda Ulker, Tolga Tanriverdi, Yunus Donmez:
QBE: QLearning-Based Exploration of Android Applications. ICST 2018: 105-115 - [c40]Hasan Ferit Eniser, Alper Sen, Suleyman Olcay Polat:
Fancymock: creating virtual services from transactions. SAC 2018: 1576-1578 - [c39]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: 471 - 2017
- [c38]Alper Sen, Etem Deniz, Brian Kahne:
MINIME-validator: Validating hardware with synthetic parallel testcases. DATE 2017: 386-391 - [c37]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: 89-100 - [c36]Hasan Ferit Eniser, Alper Sen, Suleyman Olcay Polat:
Otomatik Sanal Servis Olusturma(Automatic Virtual Service Creation). UYMS 2017: 594-606 - 2016
- [c35]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: 14-20 - [c34]Yavuz Köroglu, Alper Sen:
Design of a Modified Concolic Testing Algorithm with Smaller Constraints. CSTVA@ISSTA 2016: 3-14 - [c33]Salih Bayar, Alper Sen:
e-Arsiv Fatura icin Aksakliga Dayanikli Dagitik bir Sistem Tasarimi. UYMS 2016: 556-561 - 2015
- [c32]Salih Bayar, Mehmet Görkem Ülkar, Alper Sen:
Kullanıcı Tarafında eBelge Oluşturma ve Yazdırma Yazılım Deneyimleri. UYMS 2015 - [c31]Yavuz Köroglu, Alper Sen:
Büyüyen Kısmi Yol Kısıtlarıyla Konkolik Test. UYMS 2015 - 2014
- [c30]Alper Sen, Gökçehan Kara, Etem Deniz, Smaïl Niar:
Fast System Level Benchmarks for Multicore Architectures. DSD 2014: 635-638 - [c29]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: 6:1-6:7 - [c28]Alper Sen, Onder Kalaci:
Hybrid dynamic data race detection in systemC. FDL 2014: 1-6 - [c27]Serkan Kirbas, Alper Sen, Bora Çaglayan, Ayse Bener:
Değişiklik Bağlaşımı ve Yazılım Hataları İlişkisinin İncelenmesi. UYMS 2014 - 2013
- [c26]Dogan Ulus, Alper Sen, I. Faik Baskaya:
Integrating circuit analyses for assertion-based verification of programmable AMS circuits. FDL 2013: 1-8 - [c25]Serkan Kirbas, Alper Sen:
Yazılım Depoları Madenciliği ile Endüstriyel Yazılım Evrimi İncelemesi. UYMS 2013 - [c24]Dogan Ulus, Alper Sen, I. Faik Baskaya:
Analog layer extensions for analog/mixed-signal assertion languages. VLSI-SoC 2013: 66-71 - 2012
- [c23]Marcelo Sousa, Alper Sen:
Generation of TLM testbenches using mutation testing. CODES+ISSS 2012: 323-332 - [c22]Etem Deniz, Alper Sen, Jim Holt:
Verification coverage of embedded multicore applications. DATE 2012: 252-255 - [c21]Gorker Alp Malazgirt, Ender Culha, Alper Sen, I. Faik Baskaya, Arda Yurdakul:
A Verifiable High Level Data Path Synthesis Framework. DSD 2012: 397-404 - [c20]Dogan Ulus, Alper Sen:
Using haloes in mixed-signal assertion based verification. HLDVT 2012: 49-55 - [c19]Etem Deniz, Alper Sen, Jim Holt, Brian Kahne:
Using software architectural patterns for synthetic embedded multicore benchmark development. IISWC 2012: 89-99 - [c18]Ender Culha, Gorker Alp Malazgirt, I. Faik Baskaya, Alper Sen, Arda Yurdakul:
High-Level verifiable data-path Synthesis for DSP systems. SIU 2012: 1-4 - 2011
- [c17]Alper Sen, Etem Deniz:
Verification Tests for MCAPI. MTV 2011: 46-50 - 2010
- [c16]Dogan Fennibay, Arda Yurdakul, Alper Sen:
Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design of Real-time Embedded Systems. CIT 2010: 1902-1909 - [c15]Alper Sen, Magdy S. Abadir:
Coverage metrics for verification of concurrent SystemC designs using mutation testing. HLDVT 2010: 75-81 - [c14]Alper Sen, Baris Aksanli, Murat Bozkurt, Melih Mert:
Parallel Cycle Based Logic Simulation Using Graphics Processing Units. ISPDC 2010: 71-78 - [c13]Alper Sen, Baris Aksanli, Murat Bozkurt:
Using Graphics Processing Units for Logic Simulation of Electronic Designs. MTV 2010: 73-76 - 2009
- [c12]Alper Sen:
Mutation Operators for Concurrent SystemC Designs. MTV 2009: 27-31 - 2008
- [c11]Alper Sen, Vinit Ogale, Magdy S. Abadir:
Predictive runtime verification of multi-processor SoCs in SystemC. DAC 2008: 948-953 - 2007
- [c10]Selma Ikiz, Alper Sen:
Runtime Verification of k-Mutual Exclusion for SoCs. MTV 2007: 44-50 - [c9]Scott Little, Alper Sen, Chris J. Myers:
Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits. MTV 2007: 109-115 - 2006
- [c8]Alper Sen:
Error Diagnosis in Equivalence Checking of High Performance Microprocessors. V&D@FLoC 2006: 9-18 - 2005
- [c7]Himyanshu Anand, Jayanta Bhadra, Alper Sen, Magdy S. Abadir, Kenneth G. Davis:
Establishing latch correspondence for embedded circuits of PowerPC microprocessors. HLDVT 2005: 37-44 - 2004
- [c6]Neeraj Mittal, Alper Sen, Vijay K. Garg, Ranganath Atreya:
Finding Satisfying Global States: All for One and One for All. IPDPS 2004 - [c5]Alper Sen, Vijay K. Garg, Jacob A. Abraham, Jayanta Bhadra:
Formal Verification of a System-on-Chip Using Computation Slicing. ITC 2004: 810-819 - 2003
- [c4]Alper Sen, Vijay K. Garg:
On Checking Whether a Predicate Definitely Holds. FATES 2003: 15-29 - [c3]Alper Sen, Vijay K. Garg:
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. OPODIS 2003: 171-183 - [c2]Alper Sen, Vijay K. Garg:
Partial Order Trace Analyzer (POTA) for Distributed Programs. RV@CAV 2003: 22-43 - 2002
- [c1]Alper Sen, Vijay K. Garg:
Detecting Temporal Logic Predicates on the Happened-Before Model. IPDPS 2002
Editorship
- 2014
- [e1]Malay K. Ganai, Alper Sen:
Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013. CEUR Workshop Proceedings 1130, CEUR-WS.org 2014 [contents]
Data and Artifacts
- 2024
- [d1]Yavuz Köroglu, Alper Sen:
Fast Witness Generation for Readable GUI Test Scenarios via Generalized Experience Replay. IEEE DataPort, 2024
Informal and Other Publications
- 2020
- [i4]Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan:
Importance-Driven Deep Learning System Testing. CoRR abs/2002.03433 (2020) - 2019
- [i3]Hasan Ferit Eniser, Simos Gerasimou, Alper Sen:
DeepFault: Fault Localization for Deep Neural Networks. CoRR abs/1902.05974 (2019) - [i2]Yavuz Köroglu, Alper Sen:
Reinforcement Learning-Driven Test Generation for Android GUI Applications using Formal Specifications. CoRR abs/1911.05403 (2019) - [i1]Samet Demir, Hasan Ferit Eniser, Alper Sen:
DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning. CoRR abs/1911.10621 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
