Author:
da Silva Tarciana Dias,Sampaio Augusto,Mota Alexandre
Publisher
Springer International Publishing
Reference14 articles.
1. Schäfer, M.: Specification, implementation and verification of refactorings, Ph.D. thesis (2010)
2. Soares, G., Gheyi, R., Massoni, T.: Automated behavioral testing of refactoring engines. IEEE TSE Trans. Softw. Eng. 39(2), 147–162 (2013)
3. Java Language Specification.
http://docs.oracle.com/javase/specs/jls/se8/jls8.pdf
4. Jackson, D., Schechter, I., and Shlyahter, I.: Alcoa: the alloy constraint analyzer. In: 22nd ICSE International Conference on Software Engineering, pp 730–733. ACM Press, New York (2000)
5. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献