Citations

The paper

Diomidis Spinellis and Panagiotis Louridas. A framework for the static verification of API calls. Journal of Systems and Software, 80(7):1156–1168, July 2007. (doi:10.1016/j.jss.2006.09.040)

has been cited by the following works.

M. Avvenuti, C. Bernardeschi, N. De Francesco, and P. Masci. A tool for checking secure interaction in java cards. In EWDC 2009: 12th European Workshop on Dependable Computing, 2009.
E. Spishak, W. Dietl, and M.D. Ernst. A type system for regular expressions. In Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop, pages 20–26, 2012. (doi:10.1145/2318202.2318207)
Varadarajan Sridhar, Ravi G. Amur, and Korrapati Kalyane Rao. System and method for automated safe reprogramming of software radios. United States Patent 8,347,108, January 2013. Assignee: Satyam Computer Services Limited of Mayfair Centre (Secunderabad, IN).
N. Allen, P. Krishnan, and B. Scholz. Combining type-analysis with points-to analysis for analyzing Java library source-code. In 4th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, SOAP 2015, pages 13–18. Association for Computing Machinery, Inc, 2015. (doi:10.1145/2771284.2771287)
J. Rasley, E. Gessiou, T. Ohmann, Y. Brun, S. Krishnamurthi, and J. Cappos. Detecting latent cross-platform API violations. In 26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, pages 484–495. Institute of Electrical and Electronics Engineers Inc., 2015. (doi:10.1109/ISSRE.2015.7381841)
Nicholas John Allen, Padmanabhan Krishnan, and Bernhard Friedrich Scholz. Combining type-analysis with points-to analysis for analyzing library source-code. United States Patent 9,336,397, May 2016. Assignee: Oracle International Corporation (Redwood Shores, CA).
Hana Chockler, Oded Margalit, Dmitry Pidan, and Sitvanit Ruah. Directing verification towards bug-prone portions. United States Patent 9,389,984, July 2016. Assignee: International Business Machines Corporation (Armonk, NY).
Rui Wang, Yuchen Zhou, Shuo Chen, Shaz Qadeer, and Yuri Gurevich. Identifying implicit assumptions associated with a software product. United States Patent 9,372,785, June 2016. Assignee: Microsoft Technology Licensing, LLC (Redmond, WA).

Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.