Milos Gligoric
The University of Texas at Austin
Electrical and Computer Engineering
1 University Station C5000
Austin, TX 78712-0240 USA
Phone: +1-512-232-1501
E-mail: gligoric@ece.utexas.edu

About me

I am an Assistant Professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin. My main research interests are in software engineering and formal methods with focus on improving software quality via software testing and software model checking.

I obtained my Ph.D. from the University of Illinois at Urbana-Champaign in 2015, advised by Darko Marinov. I finished my M.Sc. in Software Engineering at the School of Electrical Engineering, University of Belgrade, Serbia, where I previously received my B.Sc. in Computer Science and Engineering.

Service

Publications

updated 08/2016
  1. Ahmet Celik, Alex Knaust, Aleksandar Milicevic, and Milos Gligoric
    Build System with Lazy Retrieval for Java Projects
    Symposium on the Foundations of Software Engineering
    (FSE 2016), pages 643-654, Seattle, USA, November 2016.
  2. Nima Dini, Allison Sullivan, Milos Gligoric, and Gregg Rothermel
    The Effect of Test Suite Type on Regression Test Selection
    International Symposium on Software Reliability Engineering
    (ISSRE 2016), pages 47-58, Ottawa, Canada, October 2016.
  3. Milos Gligoric, Lamyaa Eloussi, and Darko Marinov
    Practical Regression Test Selection with Dynamic File Dependencies
    International Symposium on Software Testing and Analysis
    (ISSTA 2015), pages 211-222, Baltimore, USA, July 2015.
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)
  4. Milos Gligoric, Lamyaa Eloussi, and Darko Marinov
    Ekstazi: Lightweight Test Selection
    International Conference on Software Engineering, Demo Papers
    (ICSE Demo 2015), pages 713-716, Florence, Italy, May 2015.
  5. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Amin Alipour, and Darko Marinov
    Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
    Transactions on Software Engineering and Methodology
    (TOSEM 2015), 24(4):22:1-22:33, 2015.
  6. Milos Gligoric
    Regression Test Selection: Theory and Practice
    PhD thesis, University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, August 2015
    (The thesis won ACM SIGSOFT Outstanding Doctoral Dissertation Award.)
    (The thesis won David J. Kuck Outstanding PhD Thesis Award.)
  7. August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, and Darko Marinov
    Balancing Trade-offs in Test-suite Reduction
    Symposium on the Foundations of Software Engineering
    (FSE 2014), pages 246-256, Hong Kong, November 2014.
  8. Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, and Benjamin Livshits
    Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring
    Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2014), pages 599-616, Portland, USA, October 2014.
  9. Milos Gligoric, Stas Negara, Owolabi Legunsen, and Darko Marinov
    An Empirical Evaluation and Comparison of Manual and Automated Test Selection
    International Conference on Automated Software Engineering
    (ASE 2014), pages 361-372, Vasteras, Sweden, September 2014.
  10. Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, and Darko Marinov
    Regression Test Selection for Distributed Software Histories
    International Conference on Computer Aided Verification
    (CAV 2014), pages 293-309, Vienna, Austria, July 2014.
  11. Lingming Zhang, Milos Gligoric, Darko Marinov, and Sarfraz Khurshid
    Operator-based and Random Mutant Selection: Better Together
    International Conference On Automated Software Engineering
    (ASE 2013), pages 92-102, Palo Alto, USA, November 2013.
  12. Aleksandar Milicevic, Milos Gligoric, Darko Marinov, and Daniel Jackson
    Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications
    Systems, Programming, Languages and Applications: Software for Humanity
    (SPLASH Onward! 2013), pages 17-36, Indianapolis, USA, October 2013.
  13. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Amin Alipour, and Darko Marinov
    Comparing Non-Adequate Test Suites using Coverage Criteria
    International Symposium on Software Testing and Analysis
    (ISSTA 2013), pages 302-313, Lugano, Switzerland, July 2013.
    (This paper was invited for journal submission.)
  14. Milos Gligoric, Lingming Zhang, Cristiano Pereira, and Gilles Pokam
    Selective Mutation Testing for Concurrent Code
    International Symposium on Software Testing and Analysis
    (ISSTA 2013), pages 224-234, Lugano, Switzerland, July 2013.
  15. Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, and Darko Marinov
    Systematic Testing of Refactoring Engines on Real Software Projects
    European Conference on Object-Oriented Programming
    (ECOOP 2013), pages 629-653, Montpellier, France, July 2013.
  16. Milos Gligoric and Rupak Majumdar
    Model Checking Database Applications
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2013), pages 549-564, Rome, Italy, March 2013.
  17. Milos Gligoric, Vilas Jagannath, Qingzhou Luo, and Darko Marinov
    Efficient Mutation Testing of Multithreaded Code
    Software Testing, Verification and Reliability
    (STVR 2013), 23(5):375-403, 2013.
  18. Milos Gligoric, Peter C. Mehlitz, and Darko Marinov
    X10X: Model Checking a New Programming Language with an 'Old' Model Checker
    International Conference on Software Testing, Verification and Validation
    (ICST 2012), pages 11-20, Montreal, Canada, April 2012.
    (This paper was nominated for the Best Paper Award.)
  19. Elton Alves, Milos Gligoric, Vilas Jagannath, and Marcelo d'Amorim
    Fault Localization Using Dynamic Slicing and Change-Impact Analysis
    International Conference On Automated Software Engineering, short paper
    (ASE 2011), pages 520-523, Lawrence, KS, November 2011.
  20. Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, and Darko Marinov
    Improved Multithreaded Unit Testing
    Symposium on the Foundations of Software Engineering
    (FSE 2011), pages 223-233, Szeged, Hungary, September 2011.
  21. Milos Gligoric, Sandro Badame, and Ralph Johnson
    SMutant: A Tool for Type-Sensitive Mutation Testing in a Dynamic Language
    Symposium on the Foundations of Software Engineering, formal tool demonstrations
    (FSE Demo 2011), pages 424-427, Szeged, Hungary, September 2011.
  22. Milos Gligoric, Darko Marinov, and Sam Kamin
    CoDeSe: Fast Deserialization via Code Generation
    International Symposium on Software Testing and Analysis
    (ISSTA 2011), pages 298-308, Toronto, Canada, July 2011.
  23. Samira Tasharofi, Milos Gligoric, Darko Marinov, and Ralph Johnson
    Setac: A Framework for Phased Deterministic Testing of Scala Actor Programs
    Scala Workshop
    (Scala Days 2011), Stanford, USA, June 2011.
  24. Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, and Darko Marinov
    Testing Container Classes: Random or Systematic?
    Fundamental Approaches to Software Engineering
    (FASE 2011), pages 262-277, Saarbrucken, Germany, March 2011.
  25. Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov
    Testing Generation through Programming in UDITA
    International Conference on Software Engineering
    (ICSE 2010), pages 225-234, Cape Town, South Africa, May 2010.
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)
    (This paper was invited for journal submission.)
  26. Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, and Darko Marinov
    IMUnit: Improved Multithreaded Unit Testing
    International Workshop on Multicore Software Engineering
    (IWMSE 2010), pages pages 48-49, Cape Town, South Africa, May 2010.
  27. Rohan Sharma, Milos Gligoric, Vilas Jagannath, and Darko Marinov
    A Comparison of Constraint-based and Sequence-based Generation of Complex Input Data Structures
    Workshop on Constraints in Software Testing, Verification and Analysis
    (CSTVA 2010), Paris, France, April 2010.
  28. Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, and Gul Agha
    Mutation Operators for Actor Systems
    International Workshop on Mutation Analysis
    (Mutation 2010), Paris, France, April 2010.
  29. Milos Gligoric, Vilas Jagannath, and Darko Marinov
    MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
    International Conference on Software Testing, Verification, and Validation
    (ICST 2010), pages 55-64, Paris, France, April 2010.
    (This paper was invited for journal submission.)
  30. Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, and Sarfraz Khurshid
    Optimizing generation of object graphs in Java PathFinder
    International Conference on Software Testing, Verification and Validation
    (ICST 2009), pages 51-60, Denver, CO, April 2009.
  31. Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo D'Amorim, Darko Marinov, and Sarfraz Khurshid
    State Extensions for Java PathFinder
    International Conference on Software Engineering, Demo Papers
    (ICSE Demo 2008), pages 863-866, Leipzig, Germany, May 2008.

Software and Data

  • CoCo: Comparison of non-adequate test suites using coverage criteria
  • CoDeSe: Dataset for fast deserialization via code generation
  • Coring: Command line option parsing for Java
  • Coverage: Container classes instrumented for predicate coverage
  • Ekstazi: Lightweight regression test selection
  • IMUnit: Improved multithreaded unit testing
  • RTR: Systematic testing of refactoring engines
  • Setac: Test framework for (Scala) actor programs
  • SMutant: Mutation testing tool for Smalltalk
  • SNAP'N'SHOT: Paintball without pain, paint, and payin'
  • UDITA: Test generation using declarative and imperative test abstractions

Students

Current Graduate Students

Current Undergraduate Students

Students Supervised at UIUC

I worked with a number of excellent undergraduate and MS students:

©2010-2017 Milos Gligoric