| - | Bos, Tretmans - Coverage-Based Testing with Symbolic Transition Systems.pdf | 710210 | | pdf | 2026-04-07 16:34:52 |
| - | Boudali, Crouzen, Stoelinga - Dynamic Fault Tree Analysis using Input-Output Interactive Markov Chains.pdf | 267661 | | pdf | 2026-04-07 16:34:54 |
| - | Jimez-Roa, Heskes, Stoelinga - Fault Trees, Decision Trees, and Binary Decision Diagrams - A Systematic Comparison.pdf | 1097314 | | pdf | 2026-04-07 16:34:55 |
| - | Stoelinga, Ruijters - Fault Tree Analysis - An Introduction.pdf | 429145 | | pdf | 2026-04-07 16:34:57 |
| - | The Exponential Distribution.pdf | 142430 | | pdf | 2026-04-07 16:34:58 |
| - | Timmer - Equivalence Partitioning and Boundary-Value Analysis.pdf | 120324 | | pdf | 2026-04-07 16:34:59 |
| - | Timmer - White-box coverage.pdf | 210935 | | pdf | 2026-04-07 16:35:01 |