Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems.

Chang Lou, Dimas Shidqi Parikesit, Yujin Huang, Zhewen Yang, Senapati Diwangkara, Yuzhuo Jing, Achmad Imam Kistijantoro, Ding Yuan, Suman Nath, Peng Huang

Browse the full OSDI paper archive.