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
Quality Assurance of Generative Dialog Models in an Evolving Conversational Agent Used for Swedish Language Practice
Submitted by grigby1 on Fri, 05/12/2023 - 9:08am
software engineering
generative dialog model
AI quality
action research
quality assurance
requirements engineering
Software Testing
conversational agents
Context modeling
Interviews
conversational agent
natural language processing
testing
Scalability
Metrics
Human behavior
pubcrawl
machine learning
biblio
Security Testing as part of Software Quality Assurance: Principles and Challenges
Submitted by grigby1 on Fri, 02/17/2023 - 4:40pm
software assurance
software design
Software Testing
requirements engineering
software quality
Object recognition
Scalability
Conferences
Resiliency
resilience
pubcrawl
security
biblio
Systematic Generation of XSS and SQLi Vulnerabilities in PHP as Test Cases for Static Code Analysis
Submitted by aekwall on Thu, 02/02/2023 - 4:36pm
Benchmark testing
codes
composability
Conferences
Cross Site Scripting
Human behavior
PHP
pubcrawl
Resiliency
Software Testing
Solids
SQL injection
static code analysis
Systematics
test suite
biblio
Software Source Code Security Audit Algorithm Supporting Incremental Checking
Submitted by grigby1 on Fri, 01/13/2023 - 12:47pm
security
pubcrawl
Human behavior
resilience
Resiliency
Software
Scalability
Computer bugs
Software algorithms
source coding
Software Testing
codes
Security Audits
source code
Incremental Checking
security audit
biblio
Mobile APP Personal Information Security Detection and Analysis
Submitted by grigby1 on Fri, 11/18/2022 - 1:17pm
information security
pubcrawl
policy-based governance
collaboration
privacy
static analysis
Manuals
Force
personal information
information science
Software Testing
Security Policies Analysis
Memory
Mobile app
biblio
Security Verification Method of Embedded Operating System Semaphore Mechanism based on Coq
Submitted by aekwall on Fri, 08/26/2022 - 11:23am
Redundancy
Software Testing
semaphore
formal verification
embedded operating system
software security
usability
component
Safety
security
composability
Resiliency
Metrics
pubcrawl
operating systems
Software
embedded systems
biblio
HashMTI: Scalable Mutation-based Taint Inference with Hash Records
Submitted by aekwall on Thu, 05/19/2022 - 12:37pm
Software
Scalability
Conferences
pubcrawl
Metrics
composability
Hash functions
Prototypes
fuzzing
Memory management
taint analysis
program analysis
Software Testing
biblio
IoTBox: Sandbox Mining to Prevent Interaction Threats in IoT Systems
Submitted by grigby1 on Mon, 03/14/2022 - 11:15am
pubcrawl
collaboration
Conferences
Safety
Prototypes
composability
malware
Internet of Things
sandboxing
Policy Based Governance
Software systems
Smart homes
Software Testing
interaction threats
mining sandboxes
biblio
A Blockchain-Based Testing Approach for Collaborative Software Development
Submitted by grigby1 on Mon, 11/29/2021 - 1:51pm
knowledge management
tools
Tamper resistance
Software Testing
software reliability
Software
Scalability
pubcrawl
Metrics
and private blockchain
Human Factors
Human behavior
collaborative software development
Collaborative software
blockchain
automatic requirement compliance checking
auditability
biblio
Mobile bootloader with security features
Submitted by grigby1 on Tue, 11/17/2020 - 1:40pm
program testing
Operating systems security
software design
security features
modern mobile operating systems
mobile development
mobile bootloader
excessive information
device internal storage
described problem
bootloading stage
bootloader
Booting
Software Testing
security of data
operating systems (computers)
resilience
software engineering
computer security
smart phones
mobile computing
composability
information security
Cryptography
Resiliency
Metrics
pubcrawl
system logs
1
2
3
next ›
last »