Author:
Yang Jiachen,Hotta Keisuke,Higo Yoshiki,Kusumoto Shinji
Publisher
Springer International Publishing
Reference19 articles.
1. Bell, J.S., Kaiser, G.E.: Unit test virtualization with vmvm (2013)
2. Bruneton, E., Lenglet, R., Coupaye, T.: Asm: A code manipulation tool to implement adaptable systems. Adaptable and Extensible Component Systems 30 (2002)
3. Finifter, M., Mettler, A., Sastry, N., Wagner, D.: Verifiable functional purity in java. In: Proc. of the 15th ACM Conference on Computer and Communications Security, pp. 161–174. ACM (2008)
4. Goetz, B.: Java theory and practice: I have to document that (2002),
http://www.ibm.com/developerworks/java/library/j-jtp0821/index.html
5. Gordon, C., Parkinson, M., Parsons, J., Bromfield, A., Duffy, J.: Uniqueness and reference immutability for safe parallelism (2012)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. MetPurity;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21