scholarly journals Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story

2004 ◽  
pp. 91-106 ◽  
Author(s):  
Tobias Lindahl ◽  
Konstantinos Sagonas
Keyword(s):  
Static Analysis ◽  
Software Defects

A Method of Software Defects Mining Based on Static Analysis

2012 ◽  
pp. 794-807 ◽  
Author(s):  
Xiaochen Lai ◽  
Kuanjiu Zhou ◽  
Likun Li ◽  
Lemin Tang ◽  
Yanshuang Yao ◽  
...  
Keyword(s):  
Static Analysis ◽  
Software Defects

An HVSM-based GRU Approach to Predict Cross-Version Software Defects

2020 ◽  
Vol 16 (6) ◽  
pp. 979
Author(s):  
Bai Xue ◽  
Zhou Hua ◽  
Yang Hongji
Keyword(s):  
Software Defects

Effects of openings on the seismic behavior and performance level of concrete shear walls

2019 ◽  
Author(s):  
Hossein Alimohammadi ◽  
Mostafa Dalvi Esfahani ◽  
Mohammadali Lotfollahi Yaghin
Keyword(s):  
Static Analysis ◽  
Cross Section ◽  
Seismic Behavior ◽  
Shear Walls ◽  
Shear Wall ◽  
Constant Cross Section ◽  
Added Resistance ◽  
Different Shapes ◽  
And Performance ◽  
Abaqus Software

In this study, the seismic behavior of the concrete shear wall considering the opening with different shapes and constant cross-section has been studied, and for this purpose, several shear walls are placed under the increasingly non-linear static analysis (Pushover). These case studies modeled in 3D Abaqus Software, and the results of the ductility coefficient, hardness, energy absorption, added resistance, the final shape, and the final resistance are compared to shear walls without opening.

Static Analysis Based Correctness Verification for Mandatory Access Control Framework

2009 ◽  
Vol 32 (4) ◽  
pp. 730-739 ◽  
Author(s):  
Xin-Song WU ◽  
Zhou-Yi ZHOU ◽  
Ye-Ping HE ◽  
Hong-Liang LIANG ◽  
Chun-Yang YUAN
Keyword(s):  
Access Control ◽  
Static Analysis ◽  
Mandatory Access Control ◽  
Control Framework
Sign in / Sign up

Export Citation Format

Share Document