Publisher
Springer International Publishing
Reference27 articles.
1. Brunel, J., Doligez, D., Hansen, R.R., Lawall, J., Muller, G.: A foundation for flow-based program matching using temporal logic and model checking. In: POPL, pp. 114–126, January 2009
2. Casazza, G., Villano, U., Merlo, E., Antoniol, G., DiPenta, M.: Identifying clones in the Linux kernel. In: Proceedings First IEEE International Workshop on Source Code Analysis and Manipulation (2001)
3. Eclipse (2022). https://www.eclipse.org/ide/
4. Engler, D.R., Chen, D.Y., Chou, A.: Bugs as deviant behavior: a general approach to inferring errors in systems code. In: Marzullo, K., Satyanarayanan, M. (eds.) SOSP, pp. 57–72. ACM (2001)
5. Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Boston (2002)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21