The top documents tagged [static analyses]

34978893-ProMechanica-WF4
Documents 34978893-ProMechanica-WF4

11 views

Computer Security
Documents Computer Security

23 views

Apply Program Model Checking Qian Ling Oct. 28, 2004 Bell Labs Research China
Documents Apply Program Model Checking Qian Ling Oct. 28, 2004 Bell Labs Research China

214 views

AMS-02 Phase 2 Flight Safety Review1 AMS-02 Structural Analysis Overview Carl Lauritzen Jacobs Engineering May 22, 2007
Documents AMS-02 Phase 2 Flight Safety Review1 AMS-02 Structural Analysis Overview Carl Lauritzen Jacobs Engineering May 22, 2007

216 views

Soil Dynamics and Earthquake Engineering Volume 10 Issue 8 1991 [Doi 10.1016%2F0267-7261%2891%2990053-3] Amir M. Kaynia; Eduardo Kausel -- Dynamics of Piles and Pile Groups in Layered
Documents Soil Dynamics and Earthquake Engineering Volume 10 Issue 8 1991 [Doi 10.1016%2F0267-7261%2891%2990053-3] Amir M. Kaynia; Eduardo Kausel -- Dynamics of Piles and Pile Groups in Layered

217 views

Research in Compilers and How it Relates to Software Engineering Part I: Compiler Research Tomofumi Yuki EJCP 2015 June 22, Nancy
Documents Research in Compilers and How it Relates to Software Engineering Part I: Compiler Research Tomofumi Yuki EJCP 2015 June 22, Nancy

213 views

Verifying Dereference Safety via Expanding-Scope Analysis Alexey Loginov (GrammaTech, Inc.) Joint work with: E. Yahav, S. Chandra, S. Fink (IBM TJ Watson)
Documents Verifying Dereference Safety via Expanding-Scope Analysis Alexey Loginov (GrammaTech, Inc.) Joint work with: E. Yahav, S. Chandra, S. Fink (IBM TJ Watson)

219 views

Verifying Dereference Safety via Expanding-Scope Analysis
Documents Verifying Dereference Safety via Expanding-Scope Analysis

54 views

Improving the Static Resolution of Dynamic Java Features
Documents Improving the Static Resolution of Dynamic Java Features

58 views

Developing Analytical Processes and Tools to Evaluate Transit-Oriented Developments Scott Holcomb, PE, Gannett Fleming, Inc. Mark Radovic, Gannett Fleming,
Documents Developing Analytical Processes and Tools to Evaluate Transit-Oriented Developments Scott Holcomb, PE, Gannett Fleming, Inc. Mark Radovic, Gannett Fleming,

216 views

Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with: David Saff, Yingyi Bu, Michael D. Ernst 1
Documents Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with: David Saff, Yingyi Bu, Michael D. Ernst 1

217 views

Michael Ernst, page 1 Static and dynamic analysis: synergy and duality Michael Ernst CSE 503, Winter 2010 Lecture 1
Documents Michael Ernst, page 1 Static and dynamic analysis: synergy and duality Michael Ernst CSE 503, Winter 2010 Lecture 1

224 views