Runtime Verification of Data-Centric Properties in Service Based Systems.

Guoquan Wu, Jun Wei, Chunyang Ye, Xiaozhe Shao, Hua Zhong, Tao Huang

Browse the full RV paper archive.