引用次数
引用: 222
H-指数: 9
I10-指数 : 9
出版物: 14
Proof engineering for large-scale verification projects
Ahmet Celik ,
2019
Debugging the performance of Maven’s test isolation: experience report
Pengyu Nie , Ahmet Celik , Matthew Coley , Aleksandar Milicevic
international symposium on software testing and analysis 249 -259
1
2020
Mutation Analysis for Coq
Ahmet Celik , Karl Palmskog , Marinela Parovic , Emilio Jesús Gallego Arias
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) 539 -551
8
2019
iCoq: regression proof selection for large-scale verification projects
Ahmet Celik , Karl Palmskog , Milos Gligoric
automated software engineering 171 -182
8
2017
Bounded exhaustive test-input generation on GPUs
Ahmet Celik , Sreepathi Pai , Sarfraz Khurshid , Milos Gligoric
Proceedings of the ACM on Programming Languages 1 94
5
2017
Build system with lazy retrieval for Java projects
Ahmet Celik , Alex Knaust , Aleksandar Milicevic , Milos Gligoric
foundations of software engineering 643 -654
18
2016
mCoq: mutation analysis for Coq verification projects
Kush Jain , Karl Palmskog , Ahmet Celik , Emilio Jesús Gallego Arias
international conference on software engineering 89 -92
2020
Towards refactoring-aware regression test selection
Kaiyuan Wang , Chenguang Zhu , Ahmet Celik , Jongwook Kim
international conference on software engineering 233 -244
17
2018
A regression proof selection tool for coq
Ahmet Celik , Karl Palmskog , Milos Gligoric
international conference on software engineering 117 -120
3
2018
Design, implementation, and application of GPU-based Java bytecode interpreters
Ahmet Celik , Pengyu Nie , Christopher J. Rossbach , Milos Gligoric
Proceedings of the ACM on Programming Languages 3 1 -28
5
2019
piCoq: parallel regression proving for large-scale verification projects
Karl Palmskog , Ahmet Celik , Milos Gligoric
international symposium on software testing and analysis 344 -355
3
2018
Practical Machine-Checked Formalization of Change Impact Analysis
Karl Palmskog , Ahmet Celik , Milos Gligoric
tools and algorithms for construction and analysis of systems 137 -157
2020
Regression test selection across JVM boundaries
Ahmet Celik , Marko Vasic , Aleksandar Milicevic , Milos Gligoric
foundations of software engineering 809 -820
18
2017
Regression test selection for TizenRT
Ahmet Celik , Young Chul Lee , Milos Gligoric
foundations of software engineering 845 -850
3
2018