An extensible technique for high-precision testing of recovery code

Proceedings of the 2010 USENIX Annual Technical Conference, USENIX ATC 2010

Volumn , Issue , 2019, Pages 301-314

  Marinescu, Paul D ^a   Banabic, Radu ^a   Candea, George ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

LIBRARIES; PROGRAM DEBUGGING;

FAULT INJECTION; HIGH-PRECISION; MYSQL DATABASE; PROGRAM BINARY; REPLICATION SYSTEMS; SHARED LIBRARIES; SOFTWARE SYSTEMS; VERSION CONTROL SYSTEM;

SOFTWARE TESTING;

EID: 85077115597     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. Apache Benchmark (AB). http://httpd.apache.org/docs/2.0/programs/ab.html.
2. R. Barbosa, N. Silva, J. Duraes, and H. Madeira. Verification and validation of (real time) COTS products using fault injection techniques. Intl. Conf. on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2007.
3. BIND - [BUG] BIND abort in dst_api.c. https://lists.isc.org/pipermail/bind-users/2010-January/078493.html.
4. BIND - [BUG] BIND crash in statschannel.c. https://lists.isc.org/pipermail/bind-users/2010-January/078428.html.
5. E. Bisolfati, P. D. Marinescu, and G. Candea. Studying application-library interaction and behavior with LibTrac. In Intl. Conf. on Dependable Systems and Networks, 2010.
6. P. A. Broadwell, N. Sastry, and J. Traupman. FIG: A prototype tool for online verification of recovery mechanisms. In Workshop on Self-Healing, Adaptive and Self-Managed Systems, 2002.
7. M. Castro and B. Liskov. Practical Byzantine fault tolerance. In Symp. on Operating Systems Design and Implementation, 1999.
8. C. Fu, B. G. Ryder, A. Milanova, and D. Wonnacott. Testing of Java web services for robustness. In ACM SIGSOFT Intl. Symp. on Software Testing and Analysis, 2004.
9. Git - [BUG] crash on make test. http://marc.info/?l=git&m=125985479417107.
10. Git - Git unchecked mallocs. http://marc.info/?l=git&m=126298802319662.
11. Git - Running commands in wrong environment. http://marc.info/?l=git&m=125986795807036.
12. H. S. Gunawi, C. Rubio-González, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and B. Liblit. EIO: error handling is occasionally correct. In USENIX Conf. on File and Storage Technologies, 2008.
13. Z. Guo, X. Wang, J. Tang, X. Liu, Z. Xu, M. Wu, M. F. Kaashoek, and Z. Zhang. R2: An application-level kernel for record and replay. In Symp. on Operating Systems Design and Implementation, 2008.
14. G. Hunt and D. Brubacher. Detours: Binary Interception of Win32 Functions. In USENIX Windows NT Symp., 1999.
15. A. Johansson, N. Suri, and B. Murphy. On the impact of injection triggers for OS robustness evaluation. In Intl. Symp. on Software Reliability Engineering, 2007.
16. G. A. Kanawati, N. A. Kanawati, and J. A. Abraham. FERRARI: A flexible software-based fault and error injection system. IEEE Transactions on Computers, 44(2), 1995.
17. libdwarf. http://reality.sgiweb.org/davea/dwarf.html.
18. P. D. Marinescu and G. Candea. LFI: A practical and general library-level fault injector. In Intl. Conf. on Dependable Systems and Networks, 2009.
19. MySQL - [BUG] MySQL crash due to double unlock. http://bugs.mysql.com/bug.php?id= 53268.
20. MySQL - [BUG] MySQL crash due to error while reading errmsg.sys. http://bugs.mysql.com/bug.php?id=53393.
21. MySQL - [BUG] MySQL crash due to missing errmsg.sys. http://bugs.mysql.com/bug.php?id=25097.
22. M. Prasad and T. Chiueh. A binary rewriting defense against stack-based buffer overflow attacks. In USENIX Annual Technical Conf., 2003.
23. D. T. Stott, B. Floering, Z. Kalbarczyk, and R. K. Iyer. A framework for assessing dependability in distributed systems with lightweight fault injectors. In Intl. Computer Performance and Dependability Symp., 2000.
24. M. Süßkraut and C. Fetzer. Automatically finding and patching bad error handling. In European Dependable Computing Conference, 2006.
25. Sysbench. http://sysbench.sourceforge. net.
26. T. K. Tsai and R. K. Iyer. Measuring fault tolerance with the FTAPE fault injection tool. In Intl. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, 1995.
27. W. Weimer and G. C. Necula. Exceptional situations and program reliability. ACM Transactions on Programming Languages and Systems, 30(2), 2008.