BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Croatia
1 × Italy
4 × USA
Collaborated with:
D.Jackson M.Gligoric E.Kang D.Marinov J.P.Near K.R.M.Leino A.Çelik M.Vasic S.Misailovic S.Khurshid D.Rayside D.J.0001 K.Yessenov A.Knaust Z.Parvez N.Petrovic Z.Benjamin R.Singh
Talks about:
test (4) generat (3) regress (2) program (2) analysi (2) select (2) execut (2) level (2) korat (2) code (2)

Person: Aleksandar Milicevic

DBLP DBLP: Milicevic:Aleksandar

Contributed to:

ICSE 20152015
Onward! 20132013
OOPSLA 20122012
ICSE 20112011
ICSE 20092009
ESEC/FSE 20072007
ICSE 20072007
FSE 20162016
ESEC/FSE 20172017

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 (, 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 (, 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.