Verification and testing at run-time for online quality prediction
Andreas Metzger, Eric Schmieders, Osama Sammodi, Klaus Pohl · 2012
This paper summarizes two techniques for online failure prediction allowing to anticipate the need for adaptation of service-oriented systems: (1) SPADE, employing run-time verification to predict failures of service compositions. (2) PROSA, building on online testing to predict failures of individual services.