165,309 Hits in 3.6 sec

Fault localization using value replacement

Dennis Jeffrey, Neelam Gupta, Rajiv Gupta
2008 Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08  
Our approach outperforms Tarantula [9] which, to our knowledge, is the most effective prior approach for statement ranking based fault localization using the benchmark programs we studied.  ...  The key idea is to see which program statements exercised during a failing run use values that can be altered so that the execution instead produces correct output.  ...  replacement using all alternate mappings for that statement given in the value profile.  ... 
doi:10.1145/1390630.1390652 dblp:conf/issta/JeffreyGG08 fatcat:kwhtbumdffbntc3aowihgrbywa

Effective and efficient localization of multiple faults using value replacement

Dennis Jeffrey, Neelam Gupta, Rajiv Gupta
2009 2009 IEEE International Conference on Software Maintenance  
We previously presented a fault localization technique called Value Replacement that repeatedly alters the state of an executing program to locate a faulty statement [9] .  ...  In the current work, we generalize Value Replacement so that it can also perform effectively in the presence of multiple faults.  ...  This situation is most likely to lead to the best fault localization results for each fault, when using Value Replacement.  ... 
doi:10.1109/icsm.2009.5306303 dblp:conf/icsm/JeffreyGG09 fatcat:6spu3si54vhhnhg2plbemqcm64

Page 71 of Journal of Research and Practice in Information Technology Vol. 25, Issue 2 [page]

1993 Journal of Research and Practice in Information Technology  
When a page fault occurs, one of the marked candidates is used for replacement.  ...  LRU is important because it uses local referencing behaviour to replace the page which has been unreferenced for the longest time.  ... 

Software Fault Localization: A Survey

Priya Parmar, Miral Patel
2016 International Journal of Computer Applications  
Hence, it is required to check software for fault localization to maintain the software quality. Software fault localization is an activity of finding the locations of fault in a program.  ...  Considering the increasing complexity of software, manual fault localization is not feasible, there is a firm necessity for techniques which can lead software developers to the location of faults with  ...  Proceedings 2008 Used Value Profile based tcas, totinfo, Small and C Localization of ISSTA approach (Interesting Value sched, sched2, Medium using Value Mapping Pair IVMP) and ptok, ptok2, Programs Replacement  ... 
doi:10.5120/ijca2016912206 fatcat:e6ep7djzbbbddf7xu6z74njkja

Dynamic buffer management with extensible replacement policies

Chong Leng Goh, Yanfeng Shu, Zhiyong Huang, Beng Chin Ooi
2005 The VLDB journal  
This paper addresses the problem of supporting extensibility of buffer replacement policies. The main contribution is the proposal of a framework for modeling buffer replacement policies.  ...  First, by providing a uniform and generic specification of buffer replacement policies, the proposed framework unifies existing work in this area.  ...  Each buffer group is managed locally using the LRU replacement policy.  ... 
doi:10.1007/s00778-004-0145-1 fatcat:vxz5u6edpfdvtkwx4erzmpuujy

Fast detection of node mergers using logic implications

Yung-Chih Chen, Chun-Yao Wang
2009 Proceedings of the 2009 International Conference on Computer-Aided Design - ICCAD '09  
In this paper, we propose a new node merging algorithm using logic implications.  ...  In VLSI testing, a stuck-at fault is a fault model used to represent a manufacturing defect within a circuit.  ...  In a combinational circuit, an untestable stuck-at fault on a wire indicates that the wire is redundant and can be replaced with a constant value 0 or 1.  ... 
doi:10.1145/1687399.1687545 dblp:conf/iccad/ChenW09 fatcat:iv7ajkimvzfljc7mhbmt3xdq4q

Fault tolerant three-dimensional cellular genetic algorithms with adaptive migration schemes

Asmaa Al-Naqi, Ahmet T. Erdogan, Tughrul Arslan
2011 2011 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)  
This paper presents a three-dimensional cellular genetic algorithm (3D-cGA) to achieve fault tolerance; in particular, faults occurred due to single event upsets (SEUs).  ...  Genetic diversity is the main factor in identifying and isolating faults occurred, particularly at individuals' phenotypes.  ...  Considering the second scheme, the best fault-free neighbour (has the best fitness value) is selected to replace any faulty individual within the same neighbourhood.  ... 
doi:10.1109/ahs.2011.5963958 dblp:conf/ahs/Al-NaqiEA11 fatcat:rafy74c7ozdxdp7qjryzbfe4mi

MintHint: Automated Synthesis of Repair Hints [article]

Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
2013 arXiv   pre-print
We present a user study that shows that developers' productivity can improve manyfold with the use of repair hints generated by MintHint -- compared to having only traditional fault localization information  ...  We also apply MintHint to several faults of a widely used Unix utility program to further assess the effectiveness of the approach.  ...  The SIR repository consists of several versions of sed seeded with different faults. We performed fault localization on them using Zoltar.  ... 
arXiv:1306.1286v2 fatcat:77pj55vn3bapdopefbj63ewwh4

Automated Fault Localization for C Programs

Andreas Griesmayer, Stefan Staber, Roderick Bloem
2007 Electronical Notes in Theoretical Computer Science  
We present an automatic approach for fault localization in C programs.  ...  To identify these components, we use the bounded model checker CBMC on an instrumented version of the program. We present experimental data that supports the applicability of our approach.  ...  Conclusions and Future Work We presented a new approach to localize faults in C programs by constructing a modified system that allows a given number of expressions to be changed arbitrarily.  ... 
doi:10.1016/j.entcs.2006.12.032 fatcat:e33qcd7l3rhtjp44x26zpuovwm

Using factored bond graphs for distributed diagnosis of physical systems

Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos
2010 Proceedings of the 2010 Spring Simulation Multiconference on - SpringSim '10  
Each DBN-F and BG-F pair is used to derive a local diagnoser that generates globally correct diagnosis results by local analysis.  ...  Each BG-F is systematically translated into a corresponding DBN Factor (DBN-F), which is then used in its corresponding local diagnoser for quantitative fault detection, isolation, and identification.  ...  Each DBN-F and BG-F pair is used to derive a local diagnoser.  ... 
doi:10.1145/1878537.1878760 fatcat:boiug2hjmjbehlvcqb477s2d7m

MintHint: automated synthesis of repair hints

Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
2014 Proceedings of the 36th International Conference on Software Engineering - ICSE 2014  
The first part is a user study that shows that, when debugging, developers' productivity improved manyfold with the use of repair hints-instead of traditional fault localization information alone.  ...  The second part consists of applying MintHint to several faults in Unix utilities to further assess the effectiveness of the approach.  ...  ACKNOWLEDGEMENTS We thank the volunteers who helped us in the user study. Sahana V.P. helped with MintHint's implementation during an internship at the Indian Institute of Science (IISc).  ... 
doi:10.1145/2568225.2568258 dblp:conf/icse/KaleeswaranTKO14 fatcat:v5qya2grofa3xknzdgea6yjeai

On the influence of multiple faults on coverage-based fault localization

Nicholas DiGiuseppe, James A. Jones
2011 Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11  
Because almost all real-world software contains multiple faults, these results impact the use of statistical fault-localization techniques and provide a greater understanding of their potential in practice  ...  the fault-localization effectiveness.  ...  It increases by more than two times its single-fault value in Gzip and is almost tripled in Space and Replace.  ... 
doi:10.1145/2001420.2001446 dblp:conf/issta/DiGiuseppeJ11 fatcat:4mkdpe4pujepdck5hguajpu43a

Rapid: Identifying Bug Signatures to Support Debugging Activities

Hwa-You Hsu, James A. Jones, Alessandro Orso
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering  
Most existing fault-localization techniques focus on identifying and reporting single statements that may contain a fault.  ...  In this paper, we present a novel fault-localization technique that identifies sequences of statements that lead to a failure.  ...  We show how our approach can provide better support for fault localization than other techniques using one of the bugs that we studied, for program replace.  ... 
doi:10.1109/ase.2008.68 dblp:conf/kbse/HsuJO08 fatcat:ry3a3aeh2zdttgnv3vivul2c5q

Self-healing of web service compositions: a specification rewriting approach

Rafael Ferreira Toledo, Umberto Souza Da Costa, Martin A. Musicante, Genoveva Vargas Solar
2020 International Journal of Web and Grid Services  
The resulting classification is used to propose our self-healing method for web service compositions.  ...  We first present a taxonomy of failures as an overview of previous research works on the topic of fault recovery of service compositions.  ...  This is a consequence of choosing the replacement solutions by using the Pareto ordering for preference values.  ... 
doi:10.1504/ijwgs.2020.107923 fatcat:zd7jvwtsifhfxnxa3vvgwym66a

Comparing Minimal Failure-Causing Schema and Probabilistic Failure-Causing Schema on Boolean Specifications

Wang Ziyuan, Li Xueyao, Li Yang, Dai Yuqing
2019 International Journal of Performability Engineering  
in the fault are compared.  ...  In order to examine which model (MFS or PFS) can help software engineers localize fault-relevant input variables more preciously, we conduct an experiment on general-form Boolean specifications extracted  ...  Fault localization techniques can help localize the fault to improve the efficiency of debugging [2] .  ... 
doi:10.23940/ijpe.19.10.p17.27092717 fatcat:puhraugccvfhpfql6hr3km7xua
« Previous Showing results 1 — 15 out of 165,309 results