Author:
Kirasić Damir,Basch Danko
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley Professional, Reading (1995)
2. Rutar, N., Almazan, C., Foster, J.: A Comparison of Bug Finding Tools for Java. In: Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering, St. Malo, France (November 2004)
3. Pistoia, M., Chandra, S., Fink, S.J., Yahav, E.: A survey of static analysis methods for identifying security vulnerabilities in software systems. IBM System Journal 46(2) (2007)
4. Lecture Notes in Computer Science;D. Engler,2004
5. Gulavani, B.S., Henzinger, T.A., Kannan, Y., Nori, A.V., Rajamani, S.K.: Synergy: A New Algorithm for Property Checking. In: FSE 2006: 14th Annual Symposium on Foundations of Software Engineering (November 2006)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献