Author:
Saeed Aneesa,Hamid S. H. A.
Publisher
Springer International Publishing
Reference29 articles.
1. Luo, L.: Software Testing Techniques. Institute for software research international Carnegie Mellon University, Pittsburgh, 19 p (2001)
2. Díaz, G., Bermejo, J.R.: Static analysis of source code security: assessment of tools against SAMATE tests. Inf.Softw. Technol. 55(8), 1462–1476 (2013)
3. Chess, B., West, J.: Secure Programming with Static Analysis. Pearson Education, Boston (2007)
4. Young, M., Taylor, R.N.: Rethinking the taxonomy of fault detection techniques. In: Proceedings of 11th international conference on Software engineering, pp. 53–62. ACM (1989)
5. Cok, D.R., Kiniry, J.R.: Esc/java2: Uniting esc/java and jml. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 3362,pp. 108–128. Springer (2005)