Unifying execution of imperative generators and declarative specifications - Pengyu Nie; Marinela Parovic; Zhiqiang Zang; Sarfraz Khurshid; Aleksandar Milicevic; Milos Gligoric (Proc. ACM Program. Lang., 2020)

Debugging the performance of Maven's test isolation: experience report - Pengyu Nie; Ahmet Çelik; Matthew Coley; Aleksandar Milicevic; Jonathan Bell; Milos Gligoric (ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020, 2020)

Alloy*: a general-purpose higher-order relational constraint solver - Aleksandar Milicevic; Joseph P. Near; Eunsuk Kang; Daniel Jackson (Formal Methods Syst. Des., 2019)

VeDebug: regression debugging tool for Java - Ben Buhse; Thomas Wei; Zhiqiang Zang; Aleksandar Milicevic; Milos Gligoric (Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, 2019)

Regression test selection across JVM boundaries - Ahmet Çelik; Marko Vasic; Aleksandar Milicevic; Milos Gligoric (Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, 2017)

File-level vs. module-level regression test selection for .NET - Marko Vasic; Zuhair Parvez; Aleksandar Milicevic; Milos Gligoric (Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, 2017)

Multi-representational security analysis - Eunsuk Kang; Aleksandar Milicevic; Daniel Jackson (Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016, 2016)

Build system with lazy retrieval for Java projects - Ahmet Çelik; Alex Knaust; Aleksandar Milicevic; Milos Gligoric (Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016, 2016)

Advancing declarative programming - Aleksandar Milicevic (Massachusetts Institute of Technology, Cambridge, MA, USA, 2015)

Alloy*: A General-Purpose Higher-Order Relational Constraint Solver - Aleksandar Milicevic; Joseph P. Near; Eunsuk Kang; Daniel Jackson (37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1, 2015)

Preventing arithmetic overflows in Alloy - Aleksandar Milicevic; Daniel Jackson (Sci. Comput. Program., 2014)

\(α\)Rby - An Embedding of Alloy in Ruby - Aleksandar Milicevic; Ido Efrati; Daniel Jackson (Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings, 2014)

Model-based, event-driven programming paradigm for interactive web applications - Aleksandar Milicevic; Daniel Jackson; Milos Gligoric; Darko Marinov (ACM Symposium on New Ideas in Programming and Reflections on Software, Onward! 2013, part of SPLASH '13, Indianapolis, IN, USA, October 26-31, 2013, 2013)

Preventing Arithmetic Overflows in Alloy - Aleksandar Milicevic; Daniel Jackson (Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, 2012)

Program extrapolation with jennisys - K. Rustan M. Leino; Aleksandar Milicevic (Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012, 2012)

A lightweight code analysis and its role in evaluation of a dependability case - Joseph P. Near; Aleksandar Milicevic; Eunsuk Kang; Daniel Jackson (Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, 2011)

Unifying execution of imperative and declarative code - Aleksandar Milicevic; Derek Rayside; Kuat Yessenov; Daniel Jackson (Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, 2011)

Model Checking Using SMT and Theory of Lists - Aleksandar Milicevic; Hillel Kugler (NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, 2011)

Equality and hashing for (almost) free: Generating implementations from abstraction functions - Derek Rayside; Zev Benjamin; Rishabh Singh; Joseph P. Near; Aleksandar Milicevic; Daniel Jackson (31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, 2009)

Agile specifications - Derek Rayside; Aleksandar Milicevic; Kuat Yessenov; Greg Dennis; Daniel Jackson (Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, 2009)

Korat: A Tool for Generating Structurally Complex Test Inputs - Aleksandar Milicevic; Sasa Misailovic; Darko Marinov; Sarfraz Khurshid (29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, 2007)

Parallel test generation and execution with Korat - Sasa Misailovic; Aleksandar Milicevic; Nemanja Petrovic; Sarfraz Khurshid; Darko Marinov (Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, 2007)