Milos Gligoric
Milos Gligoric
Verified email at utexas.edu - Homepage
TitleCited byYear
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
1532010
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
1132013
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
1032015
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
732014
Testing container classes: Random or systematic?
R Sharma, M Gligoric, A Arcuri, G Fraser, D Marinov
International Conference on Fundamental Approaches to Software Engineering …, 2011
632011
Operator-based and random mutant selection: Better together
L Zhang, M Gligoric, D Marinov, S Khurshid
Proceedings of the 28th IEEE/ACM International Conference on Automated …, 2013
612013
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
562011
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
512010
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
502013
Systematic testing of refactoring engines on real software projects
M Gligoric, F Behrang, Y Li, J Overbey, M Hafiz, D Marinov
European Conference on Object-Oriented Programming, 629-653, 2013
462013
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
442011
Ekstazi: Lightweight test selection
M Gligoric, L Eloussi, D Marinov
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
342015
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
262014
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
252014
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), 22, 2015
242015
Model-based, event-driven programming paradigm for interactive web applications
A Milicevic, D Jackson, M Gligoric, D Marinov
Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013
192013
X10X: Model checking a new programming language with an" old" model checker
M Gligoric, PC Mehlitz, D Marinov
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
192012
Optimizing generation of object graphs in Java PathFinder
M Gligoric, T Gvero, S Lauterburg, D Marinov, S Khurshid
2009 International Conference on Software Testing Verification and …, 2009
182009
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
172017
A comparison of constraint-based and sequence-based generation of complex input data structures
R Sharma, M Gligoric, V Jagannath, D Marinov
2010 Third International Conference on Software Testing, Verification, and …, 2010
172010
The system can't perform the operation now. Try again later.
Articles 1–20