受强制性开放获取政策约束的文章 - Aleksandar Milicevic了解详情
可在其他位置公开访问的文章：7 篇
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
Multi-representational security analysis
E Kang, A Milicevic, D Jackson
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
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
强制性开放获取政策： US National Science Foundation
Vedebug: regression debugging tool for java
B Buhse, T Wei, Z Zang, A Milicevic, M Gligoric
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
强制性开放获取政策： US National Science Foundation
出版信息和资助信息由计算机程序自动确定