„static program analysis“

Suchergebnisse

227 Treffer

• Combining Static Analysis of Java Libraries with Dynamic Optimization
  Thies, Michael 2002 Shaker
• Combining static analysis of Java libraries with dynamic optimization
  Thies, Michael 2002 Shaker
• Directed Dynamic Symbolic Execution for Static Analysis Warnings Confirmation
  Gerasimov, A. Yu
• Binding-time analysis for both static and dynamic expressions
  Asai, Kenichi
• Role of Engineering in Therapy
  Soliman, Fouad 2018 LAP LAMBERT Academic Publishing
• Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses
  Heo, Kihong ; Oh, Hakjoo ; Yang, Hongseok
• Static analysis – 12th international symposium ; proceedings
  Hankin, Chris 2005 Springer
• Combining static and dynamic analysis to find multi-threading faults beyond data races
  Artho, Cyrille 2005 Hartung-Gorre
• Static analysis – 11th international symposium ; proceedings
  Giacobazzi, Roberto 2004 Springer
• Tools and algorithms for the construction and analysis of systems – 20th international conference ; proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer
• Fundamental approaches to software engineering – 17th international conference ; proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer
• Compiler construction – 23rd international conference ; proceedings
  Cohen, Albert 2014 Springer
• Verified software – theories, tools, experiments : 5th international conference ; revised selected papers
  Cohen, Ernie ; Rybalchenko, Andrey 2014 Springer
• Static analysis – 9th international symposium ; proceedings
  Hermenegildo, Manuel 2002 Springer
• Static analysis – 8th international symposium ; proceedings
  Cousot, Patrick 2001 Springer
• Static analysis – 7th international symposium ; proceedings
  Palsberg, Jens 2000 Springer
• Static analysis – 6th international symposium ; proceedings
  Cortesi, Agostino 1999 Springer
• Generative and transformational techniques in software engineering IV – international summer school ; revised papers
  Lämmel, Ralf ; Saraiva, João ; Visser, Joost 2013 Springer
• Static analysis – 5th international symposium ; proceedings
  Levi, Giorgio 1998 Springer
• Static Analysis – 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
  Miné, Antoine ; Schmidt, David 2012 Springer Berlin Heidelberg