Collaborated with:M.Gligoric K.Palmskog A.Milicevic Y.Lee A.Knaust M.Vasic S.Pai S.Khurshid P.Nie C.J.Rossbach M.Parovic E.J.G.Arias
Talks about:regress (3) select (3) test (3) project (2) java (2) interpret (1) implement (1) boundari (1) retriev (1) generat (1)
Person: Ahmet Çelik
DBLP: =Ccedil=elik:Ahmet
Contributed to:
2016
2017
201720182019
20172019Wrote 7 papers:
- FSE-2016-CelikKMG #java #lazy evaluation #retrieval
- Build system with lazy retrieval for Java projects (AÇ, AK, AM, MG), pp. 643–654.
- ASE-2017-CelikPG #named #proving #scalability #verification
- iCoq: regression proof selection for large-scale verification projects (AÇ, KP, MG), pp. 171–182.
- ESEC-FSE-2017-CelikVMG #bound #testing #virtual machine
- Regression test selection across JVM boundaries (AÇ, MV, AM, MG), pp. 809–820.
- ESEC-FSE-2018-CelikLG #testing
- Regression test selection for TizenRT (AÇ, YCL, MG), pp. 845–850.
- ASE-2019-CelikPPAG #analysis #coq #mutation testing
- Mutation Analysis for Coq (AÇ, KP, MP, EJGA, MG), pp. 539–551.
- OOPSLA-2017-CelikPKG #bound #generative
- Bounded exhaustive test-input generation on GPUs (AÇ, SP, SK, MG), p. 25.
- OOPSLA-2019-CelikNRG #bytecode #design #implementation #java
- Design, implementation, and application of GPU-based Java bytecode interpreters (AÇ, PN, CJR, MG), p. 28.