RV
2010
Springer
13 years 3 months ago
2010
Springer
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering an...