Aleksandar Milicevic
Title
Cited by
Cited by
Year
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
872007
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
792007
Alloy*: A general-purpose higher-order relational constraint solver
A Milicevic, JP Near, E Kang, D Jackson
Formal Methods in System Design 55 (1), 1-32, 2019
682019
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
262009
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
222012
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
212017
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
202013
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
192017
Program extrapolation with Jennisys
KRM Leino, A Milicevic
Proceedings of the ACM international conference on Object oriented …, 2012
192012
Model checking using SMT and theory of lists
A Milicevic, H Kugler
Nasa Formal Methods Symposium, 282-297, 2011
192011
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
Multi-representational security analysis
E Kang, A Milicevic, D Jackson
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
182016
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
182011
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*
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
132016
α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
122014
Alloy*: a higher-order relational constraint solver
A Milicevic, JP Near, E Kang, D Jackson
62014
Advancing declarative programming
A Milicevic
Massachusetts Institute of Technology, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20