conf.researchr.org / Ahmet Celik

Registered user since Thu 25 Jan 2018

Name: Ahmet Celik

Affiliation: University of Texas at Austin, USA

Contributions

ESEC/FSE 2018Author of Regression Test Selection for TizenRT within the Industry-track
ISSTA 2018Author of piCoq: Parallel Regression Proving for Large-Scale Verification Projects within the ISSTA Technical Papers-track
SPLASH 2017Author of Bounded Exhaustive Test-Input Generation on GPUs within the OOPSLA-track
* ICSE 2018 *Author of Towards Refactoring-Aware Regression Test Selection within the Technical Papers -track
Author of A Regression Proof Selection Tool For Coq within the DEMO - Demonstrations -track