Using static analysis to find bugs

Nathaniel Ayewah

doi:10.1109/MS.2008.130

Return

Using static analysis to find bugs

2008-09-01

340

Nathaniel Ayewah *

William Pugh

David Hovemeyer

J. David Morgenthaler

John Penix

DOI：10.1109/MS.2008.130

Original

Original request for help

Save

Abstract

Journal

IEEE Software

IF:

Papers:

3.2K

Citations:

3.6K

Organization

University System of Maryland

Scholars:

6.5W

Papers: 5.6W

Citations: 113

Cited Papers

Urinary Cytokines During Intravesical Bacillus Calmetteguerin Therapy for Superficial Bladder Cancer

The Journal of Urology

IF0

1996-02-01

PREAI

Theo M. de Reijke; Elizabeth C. de Boer; Karl Heinz Kurth; Denis H. J. Schamhart

Save

Vasectomy and vasectomy reversal

British Journal of Urology

IF0

2008-11-21

PREAI

W. F. HENDRY

Save

The cyclical variation of energy flux and photospheric magnetic field strength from coronal holes

Solar Physics

IF0

1985-12-01

PREAI

David F. Webb; John M. Davis

Save

Ovarian hormones influence the morphology, distribution, and density of tyrosine hydroxylase immunoreactive axons in the dorsolateral prefrontal cortex of adult rhesus monkeys

IF0

PREAI

Save

Competition between Different S-Components for the Shared Energy Coupling Factor Module in Energy Coupling Factor Transporters

Biochemistry

IF0

2015-07-30

OAAI

Maria Majsnerowska; Josy ter Beek; Weronika K. Stanek; Ria H. Duurkens; Dirk J. Slotboom

Save

Sensitivity analysis of the effects of the thermal parameters of exhaust gases on the output of a thermoelectric generator

Heat Transfer—Asian Research

IF0

2018-12-03

PREAI

Seyed Alireza Mostafavi; Moein Taheri; Mojtaba Mahmoudi

Save

IF0

PREAI

Save

no more