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
program testing
biblio
Automatic Web Security Unit Testing: XSS Vulnerability Detection
Submitted by grigby1 on Mon, 11/27/2017 - 12:30pm
testing
pubcrawl
Resiliency
Sanitization evaluation
security
security of data
Security test harness
software developers
static analysis tools
program testing
Unit testing
vulnerability detection
Web application
Web pages
Web security unit testing
XSS attack strings
XSS vulnerability detection
encoding function
automatic testing approach
Browsers
command line injection
Compositionality
Context
Cross Site Scripting
Cross-site scripting (XSS)
encoding
Attack generation
HTML
Human behavior
Human Factors
internet
Metrics
program analysis
program diagnostics
biblio
Software Structure Analysis Using Network Theory
Submitted by grigby1 on Wed, 03/08/2017 - 2:04pm
program testing
two-layer network model
structure analysis
Software Testing
software structure network
software structure analysis
software reusability
software analysis
Software
reused modules
pubcrawl170111
complex network
program diagnostics
network metrics calculation
Measurement
Image edge detection
features extraction
feature extraction
critical functions
complex networks
complex network theory
biblio
Automated Test Generation from Vulnerability Signatures
Submitted by BrandonB on Tue, 05/05/2015 - 10:54am
insecure Web applications
web services
vulnerability signatures
validation and sanitization
transition
testing
string analysis
static string analysis undecidability
state
security
scripting languages
program testing
program diagnostics
path coverage
Algorithm design and analysis
HTML
digital signatures
Databases
automatic vulnerability signature computation
automated test case generation
automata-based test generation
automata-based static string analysis techniques
automata theory
automata
authoring languages
attack string discovery
Approximation methods
biblio
Security Testing Based on Attack Patterns
Submitted by BrandonB on Tue, 05/05/2015 - 10:48am
security
Unified modeling language
UML state machine
UML state charts
testing
SQL injection
software prototyping
Software
security testing
security of data
Adaptation models
program testing
model-based testing
internet
HTML
Databases
cross-site scripting
attack patterns
attack pattern
agile software development processes
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
« first
‹ previous
1
2
3
4
5
6
7
