Aleksandar Milicevic
TitleCited byYear
Korat: A tool for generating structurally complex test inputs
A Milicevic, S Misailovic, D Marinov, S Khurshid
29th International Conference on Software Engineering (ICSE'07), 771-774, 2007
842007
Parallel test generation and execution with Korat
S Misailovic, A Milicevic, N Petrovic, S Khurshid, D Marinov
Proceedings of the the 6th joint meeting of the European software …, 2007
712007
Alloy*: a general-purpose higher-order relational constraint solver
A Milicevic, JP Near, E Kang, D Jackson
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
612015
Unifying execution of imperative and declarative code
A Milicevic, D Rayside, K Yessenov, D Jackson
Proceedings of the 33rd International Conference on Software Engineering …, 2011
502011
Agile specifications
D Rayside, A Milicevic, K Yessenov, G Dennis, D Jackson
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
252009
Alloy: a language and tool for relational models
D Jackson, A Milicevic, J Near, E Kang, E Torlak
retrieved at<> on Jul 22, 1, 2012
232012
Model-based, event-driven programming paradigm for interactive web applications
A Milicevic, D Jackson, M Gligoric, D Marinov
Proceedings of the 2013 ACM international symposium on New ideas, new …, 2013
192013
Equality and hashing for (almost) free: Generating implementations from abstraction functions
D Rayside, Z Benjamin, R Singh, JP Near, A Milicevic, D Jackson
2009 IEEE 31st International Conference on Software Engineering, 342-352, 2009
192009
Program extrapolation with Jennisys
KRM Leino, A Milicevic
Proceedings of the ACM international conference on Object oriented …, 2012
182012
Model checking using SMT and theory of lists
A Milicevic, H Kugler
Nasa Formal Methods Symposium, 282-297, 2011
182011
Regression test selection across JVM boundaries
A Celik, M Vasic, A Milicevic, M Gligoric
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
172017
A lightweight code analysis and its role in evaluation of a dependability case
JP Near, A Milicevic, E Kang, D Jackson
Proceedings of the 33rd International Conference on Software Engineering, 31-40, 2011
172011
File-level vs. module-level regression test selection for. net
M Vasic, Z Parvez, A Milicevic, M Gligoric
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
162017
Multi-representational security analysis
E Kang, A Milicevic, D Jackson
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
142016
Preventing arithmetic overflows in Alloy
A Milicevic, D Jackson
Science of Computer Programming 94, 203-216, 2014
142014
Preventing Arithmetic Overflows in Alloy
A Milicevic, D Jackson
14*
αRby—An embedding of Alloy in Ruby
A Milicevic, I Efrati, D Jackson
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
112014
Build system with lazy retrieval for Java projects
A Celik, A Knaust, A Milicevic, M Gligoric
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
82016
Alloy*: a higher-order relational constraint solver
A Milicevic, JP Near, E Kang, D Jackson
52014
Executable specifications for Java programs
A Milicevic
Massachusetts Institute of Technology, 2010
22010
The system can't perform the operation now. Try again later.
Articles 1–20