„Static Program Analysis“

Suchergebnisse

227 Treffer

• Static detection of software errors – precise and scalable algorithms for automatic detection of software errors
  Xie, Yichen 2007 VDM Verlag Dr. Müller
• Static analysis – 14th international symposium ; proceedings
  Nielson, Hanne Riis 2007 Springer
• Program Analysis Techniques for Identifying Concurrency Errors – An Integrated Static and Dynamic Program Analysis Framework for Checking Concurrency-Related Programming Errors
  Chen, Qichang 2014 LAP LAMBERT Academic Publishing
• Algorithmic differentiation of pragma-defined parallel regions – differentiating computer programs containing OpenMP
  Förster, Michael 2014 Springer Vieweg
• Static analysis – 13th international symposium ; proceedings
  Yi, Kwangkeun 2006 Springer
• Correlating automatic static analysis and mutation testing: towards incremental strategies
  Araújo, Cláudio A. ; Delamaro, Marcio E. ; Maldonado, José C. ; Vincenzi, Auri M. R.
• On the scalability of static program analysis to detect vulnerabilities in the Java platform
  Lerch, Johannes 2016