TY -
GEN
AU - Faragó, David
AU - Schmitt, P. H.
TI -
Model Checking and Model-Based Testing
Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations
PB - KIT-Bibliothek
KW - model checking
KW - model-based testing
KW - laziness
KW - parallelization
KW - heuristics
KW - Hochschulschrift
PY - 2016
CY - Karlsruhe
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -