Follow
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
1102007
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
1062007
Alloy*: A general-purpose higher-order relational constraint solver
A Milicevic, JP Near, E Kang, D Jackson
Formal Methods in System Design 55, 1-32, 2019
952019
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
622011
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
512017
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
412017
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
302016
Program extrapolation with Jennisys
KRM Leino, A Milicevic
Proceedings of the ACM international conference on Object oriented …, 2012
272012
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
272012
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
272011
Agile specifications
D Rayside, A Milicevic, K Yessenov, G Dennis, D Jackson
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
272009
Model checking using SMT and theory of lists
A Milicevic, H Kugler
Nasa Formal Methods Symposium, 282-297, 2011
242011
Multi-representational security analysis
E Kang, A Milicevic, D Jackson
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
232016
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
232013
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
222009
Preventing Arithmetic Overflows in Alloy
A Milicevic, D Jackson
21*
αRby—An Embedding of Alloy in Ruby
A Milicevic, I Efrati, D Jackson
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014
182014
Debugging the performance of Maven’s test isolation: Experience report
P Nie, A Celik, M Coley, A Milicevic, J Bell, M Gligoric
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020
152020
Unifying execution of imperative generators and declarative specifications
P Nie, M Parovic, Z Zang, S Khurshid, A Milicevic, M Gligoric
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020
102020
Alloy: a language & tool for relational models (2012)
D Jackson, A Milicevic, E Torlak, E Kang, J Near
62020
The system can't perform the operation now. Try again later.
Articles 1–20