University of Maryland
CMSC 838Z — Advanced Topics in Programming Languages
11 documents • ranked by quality and engagement.
No description provided
Distributed Continuous Quality Assurance Systems
CMSC 838Z · University of Maryland
Automated Random Testing (Directed)
CMSC 838Z · University of Maryland
Program Correctness Proofs
CMSC 838Z · University of Maryland
Graph Reachability for Program Analysis
CMSC 838Z · University of Maryland
Fundamentals of Model Checking
CMSC 838Z · University of Maryland
Sampling Strategies Black Box vs White Box Reexamination
CMSC 838Z · University of Maryland
Finite-State Verification Property Specification Patterns
CMSC 838Z · University of Maryland
Concurrent Program Random Testing Effectiveness
CMSC 838Z · University of Maryland
Remote Program Execution Data Classification Techniques
CMSC 838Z · University of Maryland
Automatic Anomaly Detection for Software Bug Tracking
CMSC 838Z · University of Maryland
System Test Cases as Sources for Differential Unit Tests
CMSC 838Z · University of Maryland