Aleksandar Milicevic

23 papers A* 4A 2C 2Journal 4Unranked 10

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