|
Showing 1 - 3 of
3 matches in All Departments
This book describes the methodology and accompanying technology for
reducing the costs of validation of changes by introducing
automatic techniques to analyze and test software increments. It
builds a unified approach to efficient and reliable validation of
changes and upgrades, and may be used as a research monograph and a
reference book.
This book describes the methodology and accompanying technology for
reducing the costs of validation of changes by introducing
automatic techniques to analyze and test software increments. It
builds a unified approach to efficient and reliable validation of
changes and upgrades, and may be used as a research monograph and a
reference book.
This book constitutes the refereed proceedings of the 19th
International Conference on Runtime Verification, RV 2019, held in
Porto, Portugal, in October 2019. The 25 regular papers presented
in this book were carefully reviewed and selected from 38
submissions. The RV conference is concerned with all aspects of
monitoring and analysis of hardware, software and more general
system executions. Runtime verification techniques are lightweight
techniques to assess system correctness, reliability, and
robustness; these techniques are significantly more powerful and
versatile than conventional testing, and more practical than
exhaustive formal verification. Chapter "Assumption-Based Runtime
Verification with Partial Observability and Resets" and chapter
"NuRV: a nuXmv Extension for Runtime Verification" are available
open access under a Creative Commons Attribution 4.0 International
License via link.springer.com.
|
|