Designing UIs for Static-Analysis Tools

Daniil Tiganov

doi:10.1145/3486600

2022-01-24

PRE

DOI：10.1145/3486600

原文求助

摘要

期刊

Communications of the ACM

IF:

12.2

论文数:

1.2W

被引数:

3.7W

机构

university of alberta

学者数:

5.1W

论文数: 4.9W

被引数: 65

Google Incorporated

学者数:

3.5K

论文数: 1.8K

被引数: 8

引用论文

Neurotrophins facilitate synthesis of choline acetyltransferase and tyrosine hydroxylase in cultured mouse neural stem cells independently of their neuronal differentiation

Neuroscience Letters

IF0

2003-03-01

PREAI

Hisanori Ito; Hiroshi Nomoto; Yoshiko Furukawa; Shoei Furukawa

A combined experimental, Hirshfeld surface analysis, and theoretical study on fac-[tri(azido)(tris(2-pyridyl)amine)iron(III)]

Polyhedron

IF0

2023-03-01

PREAI

Zouaoui Setifi; Néstor Cubillán; Christopher Glidewell; Diego M. Gil; Elham Torabi; Miguel Morales-Toyo; Necmi Dege; Fatima Setifi; Masoud Mirzaei

PCMs for Residential Building Applications: A Short Review Focused on Disadvantages and Proposals for Future Development

Buildings

IF0

2017-08-28

OAAI

Ashley Bland; Martin Khzouz; Thomas Statheros; Evangelos Gkanas

Back to Basics: Are Begomoviruses Whitefly Pathogens?

Journal of Integrative Agriculture

IF0

2012-02-01

OAAI

Henryk Czosnek; Murad Ghanim

Cholate and pH Reduce Interference by Sodium Dodecyl Sulfate in the Determination of DNA with Hoechst

Analytical Biochemistry

IF0

1994-12-01

PREAI

M.J. Bester; H.C. Potgieter; W.J.H. Vermaak

Optical clock based on a sympathetically-cooled indium ion

Hyperfine Interactions

IF0

2019-04-15

PREAI

Nozomi Ohtsubo; Ying Li; Kensuke Matsubara; Nils Nemitz; Hidekazu Hachisu; Tetsuya Ido; Kazuhiro Hayasaka

Why Do Software Developers Use Static Analysis Tools? A User-Centered Study of Developer Needs and Motivations

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2022-03-01

PREAI

Do, Lisa Nguyen Quang; Wright, James R.; Ali, Karim

Modeling heterocyst pattern formation in cyanobacteria

BMC Bioinformatics

IF0

2009-06-16

OAAI

Ziomara P Gerdtzen; J Cristian Salgado; Axel Osses; Juan A Asenjo; Ivan Rapaport; Barbara A Andrews

Using static analysis to find bugs

IEEE SOFTWARE

IF3

2008-09-01

340

OAAI

Ayewah, Nathaniel; Pugh, William; Hovemeyer, David; Morgenthaler, J. David; Penix, John

Effect of Hydrogen on Spot-Welded Tensile Properties in Automotive Ultrahigh-Strength TRIP-Aided Martensitic Steel Sheet

ISIJ International

IF0

2021-10-15

OAAI

Akihiko Nagasaka; Tomohiko Hojo; Katsuya Aoki; Hirofumi Koyama; Akihiro Shimizu; Zulhafiz Bin Zolkepeli; Yuki Shibayama; Eiji Akiyama

查看更多内容