Person: Aleksandar Milicevic

DBLP: Milicevic:Aleksandar

Contributed to:

2015

2013

2012

2011

2009

2007

2007

2016

2017

Wrote 12 papers:

ICSE-v1-2015-MilicevicNKJ #constraints #higher-order #relational #theorem proving

Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (AM, JPN, EK, DJ), pp. 609–619.

Onward-2013-MilicevicJGM #interactive #modelling #paradigm #programming #web

Model-based, event-driven programming paradigm for interactive web applications (AM, DJ, MG, DM), pp. 17–36.

OOPSLA-2012-LeinoM

Program extrapolation with jennisys (KRML, AM), pp. 411–430.

ICSE-2011-MilicevicRYJ #declarative #execution #imperative

Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.

ICSE-2011-NearMKJ #analysis #dependence #evaluation #lightweight

A lightweight code analysis and its role in evaluation of a dependability case (JPN, AM, EK, DJ), pp. 31–40.

ICSE-2009-RaysideBSNMJ #abstraction #generative #implementation #similarity

Equality and hashing for (almost) free: Generating implementations from abstraction functions (DR, ZB, RS, JPN, AM, DJ), pp. 342–352.

ESEC-FSE-2007-MisailovicMPKM #execution #generative #parallel #testing

Parallel test generation and execution with Korat (SM, AM, NP, SK, DM), pp. 135–144.

ICSE-2007-MilicevicMMK #generative #named #testing

Korat: A Tool for Generating Structurally Complex Test Inputs (AM, SM, DM, SK), pp. 771–774.

FSE-2016-CelikKMG #java #lazy evaluation #retrieval

Build system with lazy retrieval for Java projects (AÇ, AK, AM, MG), pp. 643–654.

FSE-2016-KangMJ #analysis #multi #security

Multi-representational security analysis (EK, AM, DJ0), pp. 181–192.

ESEC-FSE-2017-CelikVMG #bound #testing #virtual machine

Regression test selection across JVM boundaries (AÇ, MV, AM, MG), pp. 809–820.

ESEC-FSE-2017-VasicPMG #dot-net #testing

File-level vs. module-level regression test selection for .NET (MV, ZP, AM, MG), pp. 848–853.