| 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 | 112 | 2007 |
| 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 | 106 | 2007 |
| 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 | 99 | 2019 |
| 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 | 63 | 2011 |
| 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 | 52 | 2017 |
| 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 | 42 | 2017 |
| 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 | 33 | 2016 |
| Program extrapolation with Jennisys KRM Leino, A Milicevic Proceedings of the ACM international conference on Object oriented …, 2012 | 28 | 2012 |
| 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 | 27 | 2012 |
| 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 | 27 | 2011 |
| Agile specifications D Rayside, A Milicevic, K Yessenov, G Dennis, D Jackson Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009 | 27 | 2009 |
| Model checking using SMT and theory of lists A Milicevic, H Kugler Nasa Formal Methods Symposium, 282-297, 2011 | 24 | 2011 |
| Multi-representational security analysis E Kang, A Milicevic, D Jackson Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 23 | 2016 |
| 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 | 23 | 2013 |
| 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 | 22 | 2009 |
| 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 | 20 | 2014 |
| 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 | 15 | 2020 |
| 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 | 10 | 2020 |
| Alloy: a language & tool for relational models (2012) D Jackson, A Milicevic, E Torlak, E Kang, J Near | 6 | 2020 |
Joseph P. NearUniversity of VermontVerified email at uvm.edu
