Aleksandar Milicevic

According to our database1, Aleksandar Milicevic authored at least 20 papers between 2007 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Unifying execution of imperative generators and declarative specifications.
Proc. ACM Program. Lang., 2020

Debugging the performance of Maven's test isolation: experience report.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019
Alloy*: a general-purpose higher-order relational constraint solver.
Formal Methods Syst. Des., 2019

VeDebug: regression debugging tool for Java.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2017
File-level vs. module-level regression test selection for .NET.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Regression test selection across JVM boundaries.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016
Multi-representational security analysis.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Build system with lazy retrieval for Java projects.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015
Advancing declarative programming.
PhD thesis, 2015

2014
Preventing arithmetic overflows in Alloy.
Sci. Comput. Program., 2014

αRby - An Embedding of Alloy in Ruby.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013
Model-based, event-driven programming paradigm for interactive web applications.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

2012
Program extrapolation with jennisys.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011
Model Checking Using SMT and Theory of Lists.
Proceedings of the NASA Formal Methods, 2011

A lightweight code analysis and its role in evaluation of a dependability case.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Unifying execution of imperative and declarative code.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2009
Agile specifications.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Equality and hashing for (almost) free: Generating implementations from abstraction functions.
Proceedings of the 31st International Conference on Software Engineering, 2009

2007
Parallel test generation and execution with Korat.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Korat: A Tool for Generating Structurally Complex Test Inputs.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007


  Loading...