scholarly journals Modular Software Fault Isolation as Abstract Interpretation

2018 ◽  
pp. 166-186
Author(s):  
Frédéric Besson ◽  
Thomas Jensen ◽  
Julien Lepiller
Keyword(s):  
Abstract Interpretation ◽  
Fault Isolation ◽  
Modular Software ◽  
Software Fault Isolation ◽  
Software Fault

scholarly journals Compiling Sandboxes: Formally Verified Software Fault Isolation

2019 ◽  
pp. 499-524 ◽  
Author(s):  
Frédéric Besson ◽  
Sandrine Blazy ◽  
Alexandre Dang ◽  
Thomas Jensen ◽  
Pierre Wilke
Keyword(s):  
Fault Isolation ◽  
Software Fault Isolation ◽  
Software Fault ◽  
Verified Software

scholarly journals Fast byte-granularity software fault isolation

2009 ◽  
Author(s):  
Miguel Castro ◽  
Manuel Costa ◽  
Jean-Philippe Martin ◽  
Marcus Peinado ◽  
Periklis Akritidis ◽  
...  
Keyword(s):  
Fault Isolation ◽  
Software Fault Isolation ◽  
Software Fault

eWASM: Practical Software Fault Isolation for Reliable Embedded Devices

2020 ◽  
Vol 39 (11) ◽  
pp. 3492-3505
Author(s):  
Gregor Peach ◽  
Runyu Pan ◽  
Zhuoyi Wu ◽  
Gabriel Parmer ◽  
Christopher Haster ◽  
...  
Keyword(s):  
Fault Isolation ◽  
Embedded Devices ◽  
Software Fault Isolation ◽  
Software Fault

scholarly journals Spectrum-based Fault Localization Techniques Application on Multiple-Fault Programs: A Review

2020 ◽  
pp. 41-48
Author(s):  
Abubakar Zakari ◽  
Shamsu Abdullahi ◽  
Nura Modi Shagari ◽  
Abubakar Bello Tambawal ◽  
Nuruddeen Musa Shanono ◽  
...  
Keyword(s):  
Software Industry ◽  
Fault Localization ◽  
Research Trends ◽  
Fault Isolation ◽  
Multiple Fault ◽  
Multiple Faults ◽  
Program Debugging ◽  
High Utilization ◽  
Software Fault ◽  
Parallel Debugging

Software fault localization is one of the most tedious and costly activities in program debugging in the endeavor to identify faults locations in a software program. In this paper, the studies that used spectrum-based fault localization (SBFL) techniques that makes use of different multiple fault localization debugging methods such as one-bug-at-a-time (OBA) debugging, parallel debugging, and simultaneous debugging in localizing multiple faults are classified and critically analyzed in order to extensively discuss the current research trends, issues, and challenges in this field of study. The outcome strongly shows that there is a high utilization of OBA debugging method, poor fault isolation accuracy, and dominant use of artificial faults that limit the existing techniques applicability in the software industry.

Sign in / Sign up

Export Citation Format

Share Document