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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
program testing
biblio
Security Vulnerability Metrics for Connected Vehicles
Submitted by
grigby1
on Mon, 03/09/2020 - 2:38pm
automobiles
Automotive engineering
Autopilot feature
complex software functionalities
connected vehicles
Couplings
Measurement
OpenPilot
program testing
pubcrawl
security
Security Metrics
security of data
security testing
security vulnerabilities
security vulnerability metrics
software engineering
software integration
Software systems
software testers
vehicle manufacturers
vehicle software system
vulnerability predication
vulnerable function assessment
biblio
ACT Testbot and 4S Quality Metrics in XAAS Framework
Submitted by
grigby1
on Mon, 03/09/2020 - 2:38pm
4S quality metrics
ACT (Automated Continuous Testing)
ACT TestBot tool
agile environment
agile methodology
Auto Bug Logging and Tracking
automated continuous testing
Automatic testing
automation scripts
bug logging
bug reporting tools
cloud
cloud based service models
Cloud Computing
Computer bugs
Continuous Delivery
continuous deployment
Continuous Integration
continuous integration tools
Continuous Testing
data analysis
data analytics tools
metrics dashboard
metrics reports
program debugging
program testing
pubcrawl
regression testing
security
Security Metrics
security of data
security testing
service models
Software as a service
software metrics
software product
software prototyping
software quality
Software Testing
T-Model
test management tools
TestBot
testing
testing as a service
Testing process
testing tools
tools
XaaS (Everything as a Service)
XAAS framework
biblio
A Systematic Requirements and Risks-Based Test Case Prioritization Using a Fuzzy Expert System
Submitted by
aekwall
on Mon, 03/09/2020 - 11:16am
Scalability
security
Software
Resiliency
pubcrawl
Metrics
program testing
testing
regression analysis
software engineering
software requirements
fuzzy set theory
Complexity theory
Human Factors
estimation
expert systems
fuzzy expert system
fuzzy expert systems
Iron
regression testing
requirements risks-based testing
risk estimation process
risk information
risk-based approaches
software components
software engineers
systematic requirements
test case prioritization
Security Risk Estimation
biblio
Ares: Inferring Error Specifications through Static Analysis
Submitted by
aekwall
on Mon, 03/09/2020 - 11:13am
security
security of data
Scalability
Resiliency
pubcrawl
static analysis
program testing
program diagnostics
application program interfaces
program debugging
API-related defects
Ares
error handling
error handling blocks
error specification
reliability flaws
Security Heuristics
predictability
biblio
Test4Deep: An Effective White-Box Testing for Deep Neural Networks
Submitted by
grigby1
on Tue, 02/18/2020 - 11:52am
Biological neural networks
composability
Deep Learning testing
deep neural networks
DeepXplore
diversity
DNNs
generated test inputs
learning (artificial intelligence)
machine learning
Metrics
multiple DNNs
neural nets
neuron coverage
Neurons
optimization
Prediction algorithms
program testing
pubcrawl
resilience
Resiliency
Software
Test4Deep
test cases
testing
white box cryptography
white box testing
white-box testing framework
biblio
Towards Better Utilizing Static Application Security Testing
Submitted by
aekwall
on Mon, 02/10/2020 - 12:10pm
actionable vulnerability warnings
composability
data visualisation
Priv
program diagnostics
program testing
pubcrawl
quality-assurance effort
SAST product
SAST techniques
Scalability
security experts
security of data
software assurance
software quality
software reliability
static application security testing
static bug detection
static program analysis
utilization of software engineering tools
vulnerability warnings
biblio
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution
Submitted by
grigby1
on Mon, 02/10/2020 - 11:35am
Binary Analysis
composability
DDSME
demand-driven secure multiexecution
fully automatic critical section analysis
Human behavior
hypersafety security policies
Lattices
manual binary analysis
Monitoring
Multi Execution
Noninterference Enforcement
program testing
pubcrawl
reachability analysis
resilience
Resiliency
resource requirements
security
security of data
Semantics
static analysis
static code analysis
Switches
biblio
Automated Combinatorial Testing for Detecting SQL Vulnerabilities in Web Applications
Submitted by
grigby1
on Mon, 02/10/2020 - 11:27am
attack grammars
automated combinatorial testing
automated SQL injection vulnerability testing
collaboration
combinatorial testing
combinatorial testing methodology
concrete attack vectors
Databases
Grammar
gray-box testing
gray-box testing method
Human behavior
internet
Metrics
policy-based governance
privacy
program testing
pubcrawl
resilience
Resiliency
security of data
security testing
SQL
SQL database backend
SQL detection
SQL injection
SQL injection vulnerabilities
SQL vulnerabilities detection
Syntactics
tools
web applications
biblio
Enhanced Automated-Scripting Method for Improved Management of SQL Injection Penetration Tests on a Large Scale
Submitted by
grigby1
on Mon, 02/10/2020 - 11:24am
collaboration
enhanced automated-scripting method
Human behavior
large-scale SQL injections
Metrics
penetration tests
policy-based governance
privacy
program testing
pubcrawl
resilience
Resiliency
security of data
SQL
SQL detection
SQL injection
SQL injection penetration tests
SQL injection test
SQLi penetration tests
SQLiAutoScript method
biblio
FIoT: Detecting the Memory Corruption in Lightweight IoT Device Firmware
Submitted by
aekwall
on Mon, 01/20/2020 - 12:13pm
computer network security
Scalability
Internet of Things
security
performance evaluation
system monitoring
Resiliency
pubcrawl
policy-based governance
program testing
Libraries
static analysis
firmware
program diagnostics
Human Factors
operating systems (computers)
program compilers
Loading
lightweight IoT devices
address determination analysis
backward slice approach
binary code snippets
Binary codes
binary firmware
CFG recovery approach
dynamic analysis framework
dynamic analysis techniques
embedded firmware source code
FIoT framework
firmware analysis
firmware images
fuzzing
fuzzing test
hardware architectures
IoT device operating systems
IoT industry
library function identification approach
lightweight IoT device firmware images
lightweight IoT firmware
memory corruption
memory corruption vulnerabilities
Microprogramming
Program slicing
security researchers
time 170.0 s
time 210.0 s
time 40.0 s
zero trust
1
2
3
4
next ›
last »
