Skip to main content
Ctrl
+
K
Subject Introduction
LECTURE NOTES
1. Introduction to Software Testing
2. Input Partitioning
3. Boundary-Value Analysis
4. Coverage-Based Testing
5. Testing Modules
6. Property-based Testing and Test Oracles
7. Testing-and-Integration
8. Security Testing
9. Code Coverage-Guided Fuzzing
10. Automated test generation using symbolic execution
APPENDIX
A Brief Review of Some Probability Definitions
Maximum Likelihood Estimation
Index
