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
bug detection
biblio
HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing
Submitted by grigby1 on Tue, 05/03/2022 - 2:57pm
Heuristic algorithms
statistical analysis
Security Heuristics
Search methods
Schedules
Scalability
Resiliency
resilience
pubcrawl
predictability
Concurrency
Concurrent computing
concurrency bugs
concurrency bug pattern
Computer bugs
bug detection
adaptive scheduling
adaptive random testing
security
biblio
SWAN\_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods
Submitted by aekwall on Mon, 09/28/2020 - 10:33am
novel automated machine-learning approach SWAN
software metrics
graphical user interfaces
machine-learning
active machine learning
authentication methods
bug detection
code-specific methods
IntelliJ plugin
program debugging
program analysis
security-relevant methods
semiautomated detection
SRM
static analysis tools
SWAN\_ASSIST aids developers
SWAN\_ASSIST tool
time exactly those methods whose classification best impact
machine learning
learning (artificial intelligence)
Resiliency
pubcrawl
composability
pattern classification
vulnerability detection
Training
Libraries
security
authentication
public domain software
software maintenance
Automated Secure Software Engineering
Java
program diagnostics
software quality
biblio
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs
Submitted by grigby1 on Fri, 08/14/2020 - 10:45am
Domain-Specific Language
application programming interface
lightweight domain-specific language
large-scale C programs
IMSpec rules
API-misuse detection capability
API usage validation
API usage constraints
API misuses
bug detection
API-misuse bugs
application programming interfaces
Syntactics
Semantics
Compositionality
tools
specification languages
public domain software
Computer bugs
application program interfaces
APIs
program diagnostics
program debugging
static analysis
Software
Resiliency
resilience
pubcrawl
Engines
biblio
An Empirical Study on API-Misuse Bugs in Open-Source C Programs
Submitted by grigby1 on Fri, 08/14/2020 - 10:44am
C language
API misuse
API-misuse bugs
API-misuse detection
API-misuse detectors
APIMU4C
benchmark
bug detection
C code
application programming interfaces
empirical study
fix patterns
Open Source Software
open-source C programs
static analysis detectors
usage statistics
application programming interface
security of data
Detectors
Compositionality
public domain software
security vulnerabilities
Computer bugs
application program interfaces
APIs
program diagnostics
program debugging
static analysis
Libraries
Benchmark testing
Resiliency
resilience
pubcrawl
file
Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables
Submitted by jhrife on Thu, 01/09/2020 - 5:10pm. Contributors:
Jason Rife
Hu Huang
Liangchun Xu
Samuel Z. Guyer
fault detection
bug detection
Aerospace
Software
Posters
1836942
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster
biblio
CoBOT: Static C/C++ Bug Detection in the Presence of Incomplete Code
Submitted by grigby1 on Fri, 02/22/2019 - 3:10pm
bug detection
composability
Human behavior
incomplete code
pubcrawl
Resiliency
static analysis
static code analysis
file
Improving Run-Time Bug Detection in Aviation Software Using Program Slicing
Submitted by Samuel Guyer on Tue, 01/22/2019 - 4:50pm. Contributors:
Hu Huang
Samuel Z. Guyer
Jason H. Rife
bug detection
program analysis
Posters (Sessions 8 & 11)
1836942
CPS-PI Meeting 2018
2018
Poster
biblio
Spatio-temporal Context Reduction: A Pointer-analysis-based Static Approach for Detecting Use-after-free Vulnerabilities
Submitted by grigby1 on Mon, 12/10/2018 - 10:39am
bug detection
composability
defense
Metrics
program analysis
pubcrawl
resilience
Resiliency
use-after-free
Zero day attacks
biblio
Discovering Additional Violations of Java API Invariants
Submitted by grigby1 on Thu, 05/18/2017 - 1:42pm
API
APIs
applications programming interfaces
Automated unit test generation
bug detection
Compositionality
pubcrawl
regression tests
Resiliency
biblio
MUBench: A Benchmark for API-misuse Detectors
Submitted by grigby1 on Thu, 05/18/2017 - 1:42pm
API
API-misuse detection
APIs
applications programming interfaces
benchmark
bug detection
Compositionality
pubcrawl
Resiliency
