Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
static code analysis
biblio
An Empirical Assessment on Merging and Repositioning of Static Analysis Alarms
Submitted by aekwall on Thu, 02/02/2023 - 4:37pm
pubcrawl
Resiliency
Human behavior
composability
Manuals
Inspection
static analysis
codes
static code analysis
source coding
C language
empirical study
Manual inspection of alarms
merging
Repositioning of alarms
biblio
Fast and Precise Application Code Analysis using a Partial Library
Submitted by aekwall on Thu, 02/02/2023 - 4:36pm
Libraries
pubcrawl
Resiliency
Human behavior
composability
static analysis
software engineering
codes
Costs
static code analysis
biblio
Static Analysis of Infrastructure as Code: a Survey
Submitted by aekwall on Thu, 02/02/2023 - 4:36pm
model checking
survey
infrastructure as code
Software systems
static code analysis
Software Architecture
codes
verification
Cloud Computing
software reliability
static analysis
Bibliographies
composability
Human behavior
Resiliency
pubcrawl
Conferences
biblio
Systematic Generation of XSS and SQLi Vulnerabilities in PHP as Test Cases for Static Code Analysis
Submitted by aekwall on Thu, 02/02/2023 - 4:36pm
Benchmark testing
codes
composability
Conferences
Cross Site Scripting
Human behavior
PHP
pubcrawl
Resiliency
Software Testing
Solids
SQL injection
static code analysis
Systematics
test suite
biblio
JuCify: A Step Towards Android Code Unification for Enhanced Static Analysis
Submitted by aekwall on Thu, 02/02/2023 - 4:36pm
security
Libraries
Analytical models
pubcrawl
Resiliency
Human behavior
composability
Buildings
Java
malware
static analysis
android
codes
static code analysis
native code
software engineering
biblio
Classification and Ranking of Delta Static Analysis Alarms
Submitted by aekwall on Thu, 02/02/2023 - 3:24pm
static code analysis
Human behavior
Resiliency
composability
codes
delta alarms
incremental analysis
Program slicing
pubcrawl
ranking and classification of alarms
Software systems
source coding
static analysis
version aware static analysis
biblio
A Software Defect Location Method based on Static Analysis Results
Submitted by aekwall on Thu, 02/02/2023 - 3:23pm
static code analysis
Human behavior
Resiliency
composability
code property graph
codes
Defect Location
Industries
location awareness
Measurement
Pain
pubcrawl
software defect prediction
source coding
static analysis
biblio
Static Analysis Warnings and Automatic Fixing: A Replication for C\# Projects
Submitted by aekwall on Thu, 02/02/2023 - 3:23pm
static code analysis
Human behavior
Resiliency
composability
C\# languages
codes
Computer languages
Conferences
Java
programming
pubcrawl
static analysis
biblio
An Empirical Study on Implicit Constraints in Smart Contract Static Analysis
Submitted by aekwall on Thu, 02/02/2023 - 3:22pm
static code analysis
Human behavior
Resiliency
composability
Code audit
Implicit constraints
pubcrawl
reachability analysis
smart contract
smart contracts
software engineering
static analysis
Systematics
Time factors
biblio
Varangian: A Git Bot for Augmented Static Analysis
Submitted by aekwall on Thu, 02/02/2023 - 3:21pm
static code analysis
Human behavior
Resiliency
composability
BERT
Bot
codes
Computer bugs
git
machine learning
programming
pubcrawl
security
Software
static analysis
Training
1
2
3
4
5
6
7
8
next ›
last »
