Follow
Alper Sen
Alper Sen
Full Professor of Computer Engineering, Bogazici University, Istanbul, Turkey
Verified email at boun.edu.tr - Homepage
Title
Cited by
Cited by
Year
Qbe: Qlearning-based exploration of android applications
Y Koroglu, A Sen, O Muslu, Y Mete, C Ulker, T Tanriverdi, Y Donmez
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018
972018
Importance-driven deep learning system testing
S Gerasimou, HF Eniser, A Sen, A Cakan
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
912020
Deepfault: Fault localization for deep neural networks
HF Eniser, S Gerasimou, A Sen
International Conference on Fundamental Approaches to Software Engineering …, 2019
662019
Detecting temporal logic predicates in distributed programs using computation slicing
A Sen, VK Garg
International Conference On Principles Of Distributed Systems, 171-183, 2003
652003
Coverage metrics for verification of concurrent SystemC designs using mutation testing
A Sen, MS Abadir
2010 IEEE International High Level Design Validation and Test Workshop …, 2010
502010
Formal verification of simulation traces using computation slicing
A Sen, VK Garg
IEEE Transactions on Computers 56 (4), 511-527, 2007
442007
Detecting temporal logic predicates on the happened-before model
A Sen, VK Garg
Proceedings 16th International Parallel and Distributed Processing Symposium …, 2002
442002
Partial order trace analyzer (POTA) for distributed programs
A Sen, VK Garg
Electronic Notes in Theoretical Computer Science 89 (2), 22-43, 2003
392003
The relationship between evolutionary coupling and defects in large industrial software
S Kirbas, B Caglayan, T Hall, S Counsell, D Bowes, A Sen, A Bener
Journal of Software: Evolution and Process 29 (4), e1842, 2017
382017
The effect of evolutionary coupling on software defects: an industrial case study on a legacy system
S Kirbas, A Sen, B Caglayan, A Bener, R Mahmutogullari
Proceedings of the 8th ACM/IEEE International Symposium on Empirical …, 2014
352014
Parallel cycle based logic simulation using graphics processing units
A Sen, B Aksanli, M Bozkurt, M Mert
2010 Ninth International Symposium on Parallel and Distributed Computing, 71-78, 2010
352010
Analog/mixed-signal circuit verification using models generated from simulation traces
S Little, D Walter, K Jones, C Myers, A Sen
International Journal of Foundations of Computer Science 21 (02), 191-210, 2010
332010
Predictive runtime verification of multi-processor SoCs in SystemC
A Sen, V Ogale, MS Abadir
Proceedings of the 45th annual Design Automation Conference, 948-953, 2008
322008
Concurrency-Oriented Verification and Coverage of System-Level Designs
A Sen
ACM Transactions on Design Automation of Electronic Systems (TODAES) 16 (4 …, 2011
252011
MINIME: Pattern-Aware Multicore Benchmark Synthesizer
E Deniz, A Sen, B Kahne, J Holt
IEEE Transactions on Computers, 2015
242015
Deepsmartfuzzer: Reward guided test generation for deep learning
S Demir, HF Eniser, A Sen
arXiv preprint arXiv:1911.10621, 2019
232019
Introducing hardware-in-loop concept to the hardware/software co-design of real-time embedded systems
D Fennibay, A Yurdakul, A Sen
2010 10th IEEE International Conference on Computer and Information …, 2010
232010
Mutation operators for concurrent SystemC designs
A Sen
2009 10th International Workshop on Microprocessor Test and Verification, 27-31, 2009
232009
Solving computation slicing using predicate detection
N Mittal, A Sen, VK Garg
IEEE Transactions on Parallel and Distributed Systems 18 (12), 1700-1713, 2007
222007
Reinforcement learning-driven test generation for android gui applications using formal specifications
Y Koroglu, A Sen
arXiv preprint arXiv:1911.05403, 2019
202019
The system can't perform the operation now. Try again later.
Articles 1–20