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 cases
biblio
Test4Deep: An Effective White-Box Testing for Deep Neural Networks
Submitted by grigby1 on Tue, 02/18/2020 - 11:52am
Neurons
white-box testing framework
white box testing
white box cryptography
testing
Test4Deep
test cases
Software
Resiliency
resilience
pubcrawl
program testing
Prediction algorithms
optimization
Biological neural networks
neuron coverage
neural nets
multiple DNNs
Metrics
machine learning
learning (artificial intelligence)
generated test inputs
DNNs
diversity
DeepXplore
deep neural networks
Deep Learning testing
composability
biblio
Establishing Theoretical Minimal Sets of Mutants
Submitted by BrandonB on Fri, 05/01/2015 - 8: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
