Aleksandar Milicevic

According to our database, Aleksandar Milicevic authored at least 20 papers between 2007 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

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, 2019

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, 2017

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, 2017

2016

Multi-representational security analysis.

Eunsuk Kang, Aleksandar Milicevic, Daniel Jackson

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 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, 2016

2015

Advancing declarative programming.

Aleksandar Milicevic

PhD thesis, 2015

2014

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

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Model-based, event-driven programming paradigm for interactive web applications.

Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

2012

Program extrapolation with jennisys.

K. Rustan M. Leino, Aleksandar Milicevic

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

Model Checking Using SMT and Theory of Lists.

Aleksandar Milicevic, Hillel Kugler

Proceedings of the NASA Formal Methods, 2011

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, 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, 2011

2009

Agile specifications.

Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Equality and hashing for (almost) free: Generating implementations from abstraction functions.

Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson

Proceedings of the 31st International Conference on Software Engineering, 2009

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

Korat: A Tool for Generating Structurally Complex Test Inputs.

Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007