Aleksandar Milicevic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
3
Active years
2007–2020
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISSTA | Debugging the performance of Maven's test isolation: experience report. | Pengyu Nie, Ahmet elik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, Milos Gligoric |
| 2019 | ICSE | VeDebug: regression debugging tool for Java. | Ben Buhse, Thomas Wei, Zhiqiang Zang, Aleksandar Milicevic, Milos Gligoric |
| 2015 | ICSE | Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. | Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson |
| 2013 | OOPSLA | Model-based, event-driven programming paradigm for interactive web applications. | Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov |
| 2012 | OOPSLA | Program extrapolation with jennisys. | K. Rustan M. Leino, Aleksandar Milicevic |
| 2011 | ICSE | Unifying execution of imperative and declarative code. | Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson |
| 2011 | ICSE | A lightweight code analysis and its role in evaluation of a dependability case. | Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson |
| 2009 | ICSE | Equality and hashing for (almost) free: Generating implementations from abstraction functions. | Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson |
| 2009 | OOPSLA | Agile specifications. | Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson |
| 2007 | ICSE | Korat: A Tool for Generating Structurally Complex Test Inputs. | Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid |