[1] 梁 睿. 基于运行时验证的AOP程序检测框架研 究[D]. 兰州: 兰州大学, 2009.
[2] Aiken A, Bugrara S, Dillig I, et al. Saturn Project[EB/OL]. [2012-03-01]. http://saturn.stanford.edu.
[3] Killian C, Anderson J W, Jhala R, et al. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code[C]//Proc. of NSDI’07. Cambridge, USA: [s. n.], 2007.
[4] Aiken A, Bugrara S, Dillig I, et al. An Overview of the Saturn Project[C]//Proc. of PASTE’07. San Diego, USA: [s. n.], 2007.
[5] Aiken A, Bugrara S, Dillig I, et al. The Saturn Program Analysis System[EB/OL]. [2012-03-01]. http://saturn. stanford.edu.
[6] Reynolds P, Killian C, Wiener J L, et al. Pip: Detecting the Unexpected in Distributed Systems[C]//Proc. of NSDI’06. San Jose, USA: [s. n.], 2006.
[7] Liu Xuezheng, Guo Zhenyu, Wang Xi, et al. D3S: Debug Deployed Distributed System[C]//Proc. of NSDI’08. San Francisco, USA: [s. n.], 2008.
[8] Killian C E, Anderson J W, Braud R. Mace: Language Support for Building Distributed Systems[C]//Proc. of PLDI’07. San Diego, USA: [s. n.], 2007.
[9] Yang Junfeng, Chen Tisheng, Wu Ming, et al. MODIST: Transparent Model Checking of Unmodified Distributed Systems[C]//Proc. of NSDI’09. Boston, USA: [s. n.], 2009.
[10] Yabandeh M, Knezevic N, Kostic D, et al. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems[C]//Proc. of NSDI’09. Boston, USA: [s. n.], 2009.
[11] Pnueli A. The Temporal Logic of Programs[C]//Proc. of the 18th IEEE Symposium on Foundation of Computer Science. [S. l.]: IEEE Computer Society, 1977.
[12] Shende S S, Malony A D. The Tau Parallel Performance System[J]. International Journal of High Performance Computing Applications, 2006, 20(2): 287-311.
[13] Shende S S, Malony A D. Pdtoolkit Project[EB/OL]. [2012-03-01]. http://www.cs.uoregon.edu/Research/tau/do wnloads.php.
[14] Luk Chi-Keung, Cohn R, Muth R, et al. Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation[C]//Proc. of PLDI’05. Chicago, USA: [s. n.], 2005.
[15] Tarreau W. Haproxy Project: The Reliable, High Perfor- mance TCP/HTTP Load Balancer[EB/OL]. [2012-03-01]. http://haproxy.1wt.eu. |