Follow
Milos Gligoric
Milos Gligoric
Verified email at utexas.edu - Homepage
Title
Cited by
Cited by
Year
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
2722015
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
2122010
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
1722013
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
1292014
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
1132013
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
982019
Testing container classes: Random or systematic?
R Sharma, M Gligoric, A Arcuri, G Fraser, D Marinov
Fundamental Approaches to Software Engineering: 14th International …, 2011
862011
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
842022
Ekstazi: Lightweight test selection
M Gligoric, L Eloussi, D Marinov
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
842015
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
842011
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
792013
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
752015
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
722021
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
722013
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
712011
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
692010
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
682020
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
532017
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
492023
An empirical evaluation and comparison of manual and automated test selection
M Gligoric, S Negara, O Legunsen, D Marinov
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
492014
The system can't perform the operation now. Try again later.
Articles 1–20