-
3
-
-
15744368332
-
Toward translating design constraints to run-time assertions
-
January
-
L. Baresi and M. Young. Toward translating design constraints to run-time assertions. Electron. Notes Theor. Comput. Sci., 116:73-84, January 2005.
-
(2005)
Electron. Notes Theor. Comput. Sci.
, vol.116
, pp. 73-84
-
-
Baresi, L.1
Young, M.2
-
5
-
-
79953124238
-
-
Cisco system log management. http://www.cisco.com/en/US/docs/voice ip comm/cucm/service/3-3-2/ccmsrvs/sssyslog.html.
-
Cisco System Log Management
-
-
-
6
-
-
77949737946
-
Streamlined Troubleshooting with the Dell system E-Support tool
-
Dell
-
Dell. Streamlined Troubleshooting with the Dell system E-Support tool. Dell Power Solutions, 2008.
-
(2008)
Dell Power Solutions
-
-
-
8
-
-
84975277890
-
Checking system rules using system-specific, programmer-written compiler extensions
-
D. Engler, B. Chelf, and A. Chou. Checking system rules using system-specific, programmer-written compiler extensions. In Proceedings of the 4th conference on Symposium on Operating System Design & Implementation (OSDI), pages 1-16, 2000.
-
(2000)
Proceedings of the 4th Conference on Symposium on Operating System Design & Implementation (OSDI)
, pp. 1-16
-
-
Engler, D.1
Chelf, B.2
Chou, A.3
-
9
-
-
0036041420
-
Bugs as deviant behavior: A general approach to inferring errors in systems code
-
D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proceedings of the eighteenth ACM symposium on Operating systems principles (SOSP), pages 57-72, 2001.
-
(2001)
Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles (SOSP)
, pp. 57-72
-
-
Engler, D.1
Chen, D.Y.2
Hallem, S.3
Chou, A.4
Chelf, B.5
-
10
-
-
79551665781
-
Scalable and systematic detection of buggy inconsistencies in source code
-
M. Gabel, J. Yang, Y. Yu, M. Goldszmidt, and Z. Su. Scalable and systematic detection of buggy inconsistencies in source code. In Proceedings of the ACM international conference on Object oriented programming systems languages and applications (OOPSLA), pages 175-190, 2010.
-
(2010)
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)
, pp. 175-190
-
-
Gabel, M.1
Yang, J.2
Yu, Y.3
Goldszmidt, M.4
Su, Z.5
-
12
-
-
0031123369
-
Fault injection techniques and tools
-
M.-C. Hsueh, T. K. Tsai, and R. K. Iyer. Fault injection techniques and tools. Computer, 30:75-82, 1997.
-
(1997)
Computer
, vol.30
, pp. 75-82
-
-
Hsueh, M.-C.1
Tsai, T.K.2
Iyer, R.K.3
-
13
-
-
85077345110
-
Understanding customer problem troubleshooting from storage system logs
-
W. Jiang, C. Hu, S. Pasupathy, A. Kanevsky, Z. Li, and Y. Zhou. Understanding customer problem troubleshooting from storage system logs. In Proccedings of the 7th conference on File and storage technologies (FAST), pages 43-56, 2009.
-
(2009)
Proccedings of the 7th Conference on File and Storage Technologies (FAST)
, pp. 43-56
-
-
Jiang, W.1
Hu, C.2
Pasupathy, S.3
Kanevsky, A.4
Li, Z.5
Zhou, Y.6
-
15
-
-
84910009447
-
CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code
-
Z. Li, S. Lu, S. Myagmar, and Y. Zhou. CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code. In Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation (OSDI), pages 176-192, 2004.
-
(2004)
Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation (OSDI)
, pp. 176-192
-
-
Li, Z.1
Lu, S.2
Myagmar, S.3
Zhou, Y.4
-
21
-
-
77952261819
-
Proactive health management with auto-support
-
NetApp
-
NetApp. Proactive health management with auto-support. NetApp White Paper, 2007.
-
(2007)
NetApp White Paper
-
-
-
24
-
-
70350002114
-
Automatic generation of runtime failure detectors from property templates
-
B. H. Cheng, R. Lemos, H. Giese, P. Inverardi, and J. Magee, editors, Springer-Verlag, Berlin, Heidelberg
-
M. Pezzè and J. Wuttke. Automatic generation of runtime failure detectors from property templates. In B. H. Cheng, R. Lemos, H. Giese, P. Inverardi, and J. Magee, editors, Software Engineering for Self-Adaptive Systems, pages 223-240. Springer-Verlag, Berlin, Heidelberg, 2009.
-
(2009)
Software Engineering for Self-Adaptive Systems
, pp. 223-240
-
-
Pezzè, M.1
Wuttke, J.2
-
26
-
-
84864184625
-
-
Splunk Log management. http://www.splunk.com/view/logmanagement/SP- CAAAC6F.
-
Splunk Log Management
-
-
-
27
-
-
84864203461
-
-
Squid bug report 3319. http://bugs.squid-cache.org/show-bug.cgi?id=3319.
-
Squid Bug Report 3319
-
-
-
29
-
-
70449894273
-
iComment: Bugs or bad comments?
-
L. Tan, D. Yuan, G. Krishna, and Y. Zhou. /* iComment: Bugs or bad comments? */. In Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles (SOSP), pages 145-158, 2007.
-
(2007)
Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles (SOSP)
, pp. 145-158
-
-
Tan, L.1
Yuan, D.2
Krishna, G.3
Zhou, Y.4
-
32
-
-
72249121870
-
Detecting large-scale system problems by mining console logs
-
W. Xu, L. Huang, A. Fox, D. Patterson, and M. I. Jordan. Detecting large-scale system problems by mining console logs. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (SOSP), pages 117-132, 2009.
-
(2009)
Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles (SOSP)
, pp. 117-132
-
-
Xu, W.1
Huang, L.2
Fox, A.3
Patterson, D.4
Jordan, M.I.5
-
33
-
-
4644274050
-
Predicting source code changes by mining change history
-
September
-
A. T. T. Ying, G. C. Murphy, R. Ng, and M. C. Chu-Carroll. Predicting source code changes by mining change history. IEEE Trans. Softw. Eng., 30:574-586, September 2004.
-
(2004)
IEEE Trans. Softw. Eng.
, vol.30
, pp. 574-586
-
-
Ying, A.T.T.1
Murphy, G.C.2
Ng, R.3
Chu-Carroll, M.C.4
-
34
-
-
77952272081
-
SherLog: Error diagnosis by connecting clues from runtime logs
-
D. Yuan, H. Mai, W. Xiong, L. Tan, Y. Zhou, and S. Pasupathy. SherLog: Error diagnosis by connecting clues from runtime logs. In Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems (ASPLOS), pages 143-154, 2010.
-
(2010)
Proceedings of the Fifteenth Edition of ASPLOS on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
, pp. 143-154
-
-
Yuan, D.1
Mai, H.2
Xiong, W.3
Tan, L.4
Zhou, Y.5
Pasupathy, S.6
-
35
-
-
84864203460
-
-
Technical Report
-
D. Yuan, S. Park, P. Huang, Y. Liu, M. Lee, Y. Zhou, and S. Savage. Did you log the error? Characterizing and improving software error reporting. Technical Report.
-
Did You Log the Error? Characterizing and Improving Software Error Reporting
-
-
Yuan, D.1
Park, S.2
Huang, P.3
Liu, Y.4
Lee, M.5
Zhou, Y.6
Savage, S.7
-
36
-
-
79953093128
-
Improving software diagnosability via log enhancement
-
D. Yuan, J. Zheng, S. Park, Y. Zhou, and S. Savage. Improving software diagnosability via log enhancement. In Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems (ASPLOS), pages 3-14, 2011.
-
(2011)
Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
, pp. 3-14
-
-
Yuan, D.1
Zheng, J.2
Park, S.3
Zhou, Y.4
Savage, S.5
|