| Practical regression test selection with dynamic file dependencies M Gligoric, L Eloussi, D Marinov Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 278 | 2015 |
| Test generation through programming in UDITA M Gligoric, T Gvero, V Jagannath, S Khurshid, V Kuncak, D Marinov Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 213 | 2010 |
| Comparing non-adequate test suites using coverage criteria M Gligoric, A Groce, C Zhang, R Sharma, MA Alipour, D Marinov Proceedings of the 2013 International Symposium on Software Testing and …, 2013 | 173 | 2013 |
| Balancing trade-offs in test-suite reduction A Shi, A Gyori, M Gligoric, A Zaytsev, D Marinov Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014 | 130 | 2014 |
| Operator-based and random mutant selection: Better together L Zhang, M Gligoric, D Marinov, S Khurshid 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 114 | 2013 |
| QED at large: A survey of engineering of formally verified software T Ringer, K Palmskog, I Sergey, M Gligoric, Z Tatlock Foundations and Trends® in Programming Languages 5 (2-3), 102-281, 2019 | 101 | 2019 |
| Coditt5: Pretraining for source code and natural language editing J Zhang, S Panthaplackel, P Nie, JJ Li, M Gligoric Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 90 | 2022 |
| Testing container classes: Random or systematic? R Sharma, M Gligoric, A Arcuri, G Fraser, D Marinov Fundamental Approaches to Software Engineering: 14th International …, 2011 | 86 | 2011 |
| Ekstazi: Lightweight test selection M Gligoric, L Eloussi, D Marinov 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 85 | 2015 |
| Fault-localization using dynamic slicing and change impact analysis E Alves, M Gligoric, V Jagannath, M d'Amorim 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 84 | 2011 |
| The kokkos ecosystem: Comprehensive performance portability for high performance computing C Trott, L Berger-Vergiat, D Poliakoff, S Rajamanickam, ... Computing in Science & Engineering 23 (5), 10-18, 2021 | 79 | 2021 |
| Selective mutation testing for concurrent code M Gligoric, L Zhang, C Pereira, G Pokam Proceedings of the 2013 international symposium on software testing and …, 2013 | 79 | 2013 |
| Guidelines for coverage-based comparisons of non-adequate test suites M Gligoric, A Groce, C Zhang, R Sharma, MA Alipour, D Marinov ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (4), 1-33, 2015 | 76 | 2015 |
| Systematic testing of refactoring engines on real software projects M Gligoric, F Behrang, Y Li, J Overbey, M Hafiz, D Marinov ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013 | 74 | 2013 |
| Improved multithreaded unit testing V Jagannath, M Gligoric, D Jin, Q Luo, G Rosu, D Marinov Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 73 | 2011 |
| Learning to update natural language comments based on code changes S Panthaplackel, P Nie, M Gligoric, JJ Li, RJ Mooney arXiv preprint arXiv:2004.12169, 2020 | 71 | 2020 |
| MuTMuT: Efficient exploration for mutation testing of multithreaded code M Gligoric, V Jagannath, D Marinov 2010 third international conference on software testing, verification and …, 2010 | 70 | 2010 |
| Learning deep semantics for test completion P Nie, R Banerjee, JJ Li, RJ Mooney, M Gligoric 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 58 | 2023 |
| 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 | 53 | 2017 |
| Automated migration of build scripts using dynamic analysis and search-based refactoring M Gligoric, W Schulte, C Prasad, D Van Velzen, I Narasamdya, B Livshits ACM SIGPLAN Notices 49 (10), 599-616, 2014 | 49 | 2014 |
Darko MarinovUniversity of Illinois at Urbana-Champaign確認したメール アドレス: illinois.edu