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
test generation
biblio
Checking Security Properties of Cloud Service REST APIs
Submitted by grigby1 on Wed, 01/20/2021 - 4:19pm
modern cloud
web services
test generation
stateful REST API fuzzer
security rules
security of data
security
REST APIs
Resiliency
resilience
rendering (computer graphics)
pubcrawl
Production
Office365 cloud services
active property checkers
fuzzing
formal verification
Computer bugs
Compositionality
cloud service REST
Cloud Computing
Cloud and Web services
checking security properties
capture desirable properties
application programming interface
application program interfaces
APIs
API
biblio
Automated Coverage-Based Testing of XACML Policies
Submitted by aekwall on Tue, 10/22/2019 - 9:54am
Access Control
coverage criteria
Mutation testing
policy-based governance
pubcrawl
Security Policies Analysis
test generation
XACML
wikipage
Game Theoretic Traffic Simulator (GTTS)
Submitted by nanli0302 on Tue, 09/25/2018 - 2:53pm
Automotive
Testing
Simulation
Validation and Verification
Autonomous Driving
Simulator
test generation
verification and validation
Tool
Free
Java
Linux
Mac OS X
Solaris
Windows
Simulation
biblio
Accurate Diagnosis of Interconnect Open Defects Based on the Robust Enhanced Aggressor Victim Model
Submitted by grigby1 on Wed, 12/20/2017 - 8:51pm
Logic gates
unknown values
test generation
SMT
Robustness
robust enhanced aggressor victim model
Resiliency
pubcrawl
privacy
physical failure analysis
oscillating behaviors
open faults
nanotechnology
nanoscale technologies
Metrics
ATPG
Interconnect opens
interconnect open defects
integrated circuit modelling
Integrated circuit modeling
Integrated circuit interconnections
failure analysis
electrical parameters
diagnostic classification algorithm
diagnose
Couplings
composability
Circuit faults
Capacitance
automatic test pattern generation
file
Automated Test Input Generation for Android Are we Really There Yet in an Industrial Case
Submitted by awhitesell on Fri, 12/09/2016 - 1:19pm
Science of Security
android
code coverage
GUI testing
NSA SoS Lablets Materials
Science of Security
test generation
UIUC
UIUC
NSA SoS Lablets Materials
Science of Human Circumvention of Security
biblio
Automated Test Input Generation for Android: Are We Really There Yet in an Industrial Case?
Submitted by awhitesell on Fri, 12/09/2016 - 1:19pm
Science of Security
android
code coverage
GUI testing
NSA SoS Lablets Materials
Science of Security
test generation
UIUC
UIUC
NSA SoS Lablets Materials
Science of Human Circumvention of Security
