| Regression test selection across JVM boundaries A Celik, M Vasic, A Milicevic, M Gligoric Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 52 | 2017 |
| Towards refactoring-aware regression test selection K Wang, C Zhu, A Celik, J Kim, D Batory, M Gligoric Proceedings of the 40th International Conference on Software Engineering …, 2018 | 35 | 2018 |
| Build system with lazy retrieval for Java projects A Celik, A Knaust, A Milicevic, M Gligoric Proceedings of the 2016 24th ACM SIGSOFT international symposium on …, 2016 | 33 | 2016 |
| iCoq: Regression proof selection for large-scale verification projects A Celik, K Palmskog, M Gligoric 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 22 | 2017 |
| Bounded exhaustive test-input generation on GPUs A Celik, S Pai, S Khurshid, M Gligoric Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-25, 2017 | 21 | 2017 |
| Debugging the performance of Maven’s test isolation: Experience report P Nie, A Celik, M Coley, A Milicevic, J Bell, M Gligoric Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 15 | 2020 |
| piCoq: Parallel regression proving for large-scale verification projects K Palmskog, A Celik, M Gligoric Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 13 | 2018 |
| Regression test selection for TizenRT A Celik, YC Lee, M Gligoric Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 12 | 2018 |
| Mutation analysis for Coq A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 10 | 2019 |
| mCoq: mutation analysis for Coq verification projects K Jain, K Palmskog, A Celik, EJG Arias, M Gligoric Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 7 | 2020 |
| Design, implementation, and application of GPU-based Java bytecode interpreters A Celik, P Nie, CJ Rossbach, M Gligoric Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019 | 7 | 2019 |
| A regression proof selection tool for Coq A Celik, K Palmskog, M Gligoric Proceedings of the 40th International Conference on Software Engineering …, 2018 | 7 | 2018 |
| Practical Machine-Checked Formalization of Change Impact Analysis K Palmskog, A Celik, M Gligoric Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 1 | 2020 |
| Proof engineering for large-scale verification projects A Celik | | 2019 |
Milos GligoricThe University of Texas at AustinVerified email at utexas.edu
