Alper Sen - RankMe

83 papers A* 2A 8B 3C 7Misc 2Journal 27Unranked 33

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