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
Software Testing
biblio
Towards Scalable Configuration Testing in Variable Software
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
Compositionality
Configurability
Linux
Metrics
pubcrawl
Resiliency
sampling
Scalability
scalable verification
software product lines
Software Testing
file
Yu_SimExplorer_JA.pdf
Submitted by Jamie Presken on Tue, 07/11/2017 - 1:18pm
August'17
CMU
Kernel
Metrics
processes
race conditions
Race Vulnerability Study and Hybrid Race Detection
Scalability and Composability
Software Testing
virtual platforms
biblio
An automated framework to support testing for process-level race conditions
Submitted by Jamie Presken on Tue, 07/11/2017 - 1:18pm
August'17
CMU
Kernel
Metrics
processes
race conditions
Race Vulnerability Study and Hybrid Race Detection
Scalability and Composability
Software Testing
virtual platforms
Scalability and Composability
Metrics
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
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
file
Mirzaei_Reducing_Combos.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 10:14am
android
CMU
Input Generation
July'16
Software Testing
biblio
Reducing Combinatorics in GUI Testing of Android Applications
Submitted by Jamie Presken on Tue, 12/06/2016 - 10:14am
android
CMU
Input Generation
July'16
Software Testing
CMU
July'16
« first
‹ previous
1
2
3
