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
Mutation testing
biblio
Mutation Testing to Validate Networks Protocols
Submitted by grigby1 on Wed, 07/28/2021 - 7:47am
ad-hoc networks
Communication system security
Complexity theory
Computing Theory
Metrics
Mutation testing
pubcrawl
Routing
Routing protocols
Security Metrics
Test case quality
testing
Time factors
wireless networks
wireless sensor networks
biblio
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System
Submitted by aekwall on Mon, 09/28/2020 - 11:11am
data logs
Mutation testing
actuators
CPS
model checking
cyber-physical system
supervised machine learning
code mutation
code-modification attacks
cross-validation
formal verification
invariants
learnt model
real-world water purification plant
Statistical Model Checking
SVM-based model
system modelling
water treatment systems
CPS Privacy
pubcrawl
Software
attestation
Data models
Support vector machines
feature extraction
learning (artificial intelligence)
machine learning
Human behavior
Monitoring
program testing
privacy
attacks
Anomaly Detection
cyber physical systems
program diagnostics
sensors
Human Factors
biblio
Automated Coverage-Based Testing of XACML Policies
Submitted by aekwall on Tue, 10/22/2019 - 8:54am
Access Control
coverage criteria
Mutation testing
policy-based governance
pubcrawl
Security Policies Analysis
test generation
XACML
biblio
Evaluating Quality of Security Testing of the JDK
Submitted by grigby1 on Tue, 01/23/2018 - 2:45pm
Mutation testing
pubcrawl
Scalability
scalable
Scalable Security
security
biblio
Will My Tests Tell Me if I Break This Code?
Submitted by grigby1 on Wed, 08/02/2017 - 1:07pm
code coverage
Measurement
Metrics
metrics testing
Mutation testing
pubcrawl
regression testing
test suite effectiveness
biblio
Establishing Theoretical Minimal Sets of Mutants
Submitted by BrandonB on Fri, 05/01/2015 - 7:08am
Minimization
test cases
set theory
redundant mutants
program testing
Mutation testing
mutation score
mutation analysis
mutant set minimization
Benchmark testing
minimisation
minimal mutant sets
Heuristic algorithms
Electronic mail
dynamic subsumption
Context
Computational modeling
