Using static analysis to find bugs

doi:10.1109/MS.2008.130

2008-09-01

340

Nathaniel Ayewah *

William Pugh

David Hovemeyer

J. David Morgenthaler

John Penix

DOI：10.1109/MS.2008.130

原文链接

原文求助

摘要

期刊

IEEE Software

IF:

论文数:

3.2K

被引数:

3.6K

机构

University System of Maryland

学者数:

6.5W

论文数: 5.6W

被引数: 113

引用论文

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

Vasectomy and vasectomy reversal

British Journal of Urology

IF0

2008-11-21

PREAI

W. F. HENDRY

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

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

IF0

PREAI

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

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

IF0

PREAI

没有更多内容