Aleksandar Milicevic

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 9

Top Venues

SIGSOFT FSE

ESEC/SIGSOFT FSE

ABZ

Proc. ACM Program. Lang.

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric
Unifying execution of imperative generators and declarative specifications. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Pengyu Nie, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, Milos Gligoric
Debugging the performance of Maven's test isolation: experience report. ISSTA (2020)
Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods Syst. Des. 55 (1) (2019)
Ben Buhse, Thomas Wei, Zhiqiang Zang, Aleksandar Milicevic, Milos Gligoric
VeDebug: regression debugging tool for Java. ICSE (Companion Volume) (2019)
Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, Milos Gligoric
File-level vs. module-level regression test selection for .NET. ESEC/SIGSOFT FSE (2017)
Ahmet Çelik, Marko Vasic, Aleksandar Milicevic, Milos Gligoric
Regression test selection across JVM boundaries. ESEC/SIGSOFT FSE (2017)
Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric
Build system with lazy retrieval for Java projects. SIGSOFT FSE (2016)
Eunsuk Kang, Aleksandar Milicevic, Daniel Jackson
Multi-representational security analysis. SIGSOFT FSE (2016)
Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. ICSE (1) (2015)
Aleksandar Milicevic, Daniel Jackson
Preventing arithmetic overflows in Alloy. Sci. Comput. Program. 94 (2014)
Aleksandar Milicevic, Ido Efrati, Daniel Jackson
αRby - An Embedding of Alloy in Ruby. ABZ (2014)
Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov
Model-based, event-driven programming paradigm for interactive web applications. Onward! (2013)
Aleksandar Milicevic, Daniel Jackson
Preventing Arithmetic Overflows in Alloy. ABZ (2012)
K. Rustan M. Leino, Aleksandar Milicevic
Program extrapolation with jennisys. OOPSLA (2012)
Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson
Unifying execution of imperative and declarative code. ICSE (2011)
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson
A lightweight code analysis and its role in evaluation of a dependability case. ICSE (2011)
Aleksandar Milicevic, Hillel Kugler
Model Checking Using SMT and Theory of Lists. NASA Formal Methods (2011)
Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson
Equality and hashing for (almost) free: Generating implementations from abstraction functions. ICSE (2009)
Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson
Agile specifications. OOPSLA Companion (2009)
Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid
Korat: A Tool for Generating Structurally Complex Test Inputs. ICSE (2007)
Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov
Parallel test generation and execution with Korat. ESEC/SIGSOFT FSE (2007)

Aleksandar Milicevic.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aleksandar Milicevic