2,586 Hits in 3.1 sec

Mutation-Based Graph Inference for Fault Localization

Vincenzo Musco, Martin Monperrus, Philippe Preux
2016 2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM)  
Vautrin improves the fault localization effectiveness for all subjects of the benchmark.  ...  We present a new fault localization algorithm, called Vautrin, built on an approximation of causality based on call graphs. The approximation of causality is done using software mutants.  ...  Mutation and Fault Localization Mutation-based fault localization has been recently proposed. The kernel idea of mutation-based fault localization is to localize faults by injecting faults.  ... 
doi:10.1109/scam.2016.24 dblp:conf/scam/MuscoMP16 fatcat:xmdygv3psbee7dp2vajecsxneu

Sharing reasoning about faults in spreadsheets: An empirical study

J. Lawrance, R. Abraham, M. Burnett, M. Erwig
2006 Visual Languages and Human-Centric Computing (VL/HCC'06)  
In this paper, we report empirical results from an emerging system that attempts to improve fault localization for end-user programmers by sharing the results of the reasoning systems found in WYSIWYT  ...  Multiple types of errors can appear in spreadsheets, and various fault localization techniques differ in the kinds of errors that they are effective in locating.  ...  Unit inference can be used to identify certain types of reference, range, and omission faults [2] . Other information bases supplied by end users can assist fault localization.  ... 
doi:10.1109/vlhcc.2006.43 dblp:conf/vl/LawranceABE06 fatcat:rzuaxins35hfvkzhfrjog37j5m

Exploiting Particle Swarm Optimization in Multiple Faults Fuzzy Detection [article]

Imtiez Fliss, Moncef Tagina
2012 arXiv   pre-print
In this paper an on-line multiple faults detection approach is first of all proposed. For efficiency, an optimal design of membership functions is required.  ...  These residuals are generated due to the use of bond graph modeling. The results of the fuzzy detection modules are displayed as a colored causal graph.  ...  Then, these values are processed in the fuzzy domain by inference system, which, is based on the rule base provided by the Knowledge Base (KB).  ... 
arXiv:1206.2587v1 fatcat:43cejis5yza73awi5wuboy3jye

Effective test generation and adequacy assessment for JavaScript-based web applications

Shabnam Mirshokraie
2014 Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014  
We proposed (1) a new automated technique for JavaScript regression testing, which is based on inferring invariant assertions, (2) the first JavaScript mutation testing tool, capable of guiding the mutation  ...  generate test oracles, capable of detecting regression JavaScript and DOM-level faults, and (4) utilizing existing DOM-dependent assertions as well as useful execution information inferred from a DOM-based  ...  This suggest that we need unit-level tests to complement existing DOM-based test for more effective fault detection and localization.  ... 
doi:10.1145/2610384.2631832 dblp:conf/issta/Mirshokraie14 fatcat:r5vzqzi66repdj5shshfsy3gmi

Learning universal probabilistic models for fault localization

Min Feng, Rajiv Gupta
2010 Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '10  
Recently there has been significant interest in employing probabilistic techniques for fault localization.  ...  Our experiments demonstrate that our approach is highly effective in fault localization even when very few passing runs are available. It also performs well in the presence of multiple faults.  ...  To the best of our knowledge, this is the first paper that applies probabilistic inference models for fault localization.  ... 
doi:10.1145/1806672.1806688 dblp:conf/paste/FengG10 fatcat:ovxpse4zbvctbfslf6cwm4amwu

Guided Mutation Testing for JavaScript Web Applications

Shabnam Mirshokraie, Ali Mesbah, Karthik Pattabiraman
2015 IEEE Transactions on Software Engineering  
We propose an algorithm to select variables and branches for mutation as well as a metric, called F unctionRank, to rank functions according to their relative importance from the application's behaviour  ...  Prior work has mainly focused on detecting equivalent mutants after the mutation generation phase, which is computationally expensive and has limited efficiency.  ...  We target local and global variables, as well as function parameters for mutation.  ... 
doi:10.1109/tse.2014.2371458 fatcat:sebkgjzubnhuldoekvrixrigay

Injecting mechanical faults to localize developer faults for evolving software

Lingming Zhang, Lu Zhang, Sarfraz Khurshid
2013 Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications - OOPSLA '13  
by mutation changes) to achieve more accurate fault localization.  ...  This paper presents a novel methodology for localizing faults in code as it evolves.  ...  This material is based upon work partially supported by the US National Science  ... 
doi:10.1145/2509136.2509551 dblp:conf/oopsla/Zhang0K13 fatcat:cfu3q7woibabjnqutuclnv46eq

Injecting mechanical faults to localize developer faults for evolving software

Lingming Zhang, Lu Zhang, Sarfraz Khurshid
2013 SIGPLAN notices  
by mutation changes) to achieve more accurate fault localization.  ...  This paper presents a novel methodology for localizing faults in code as it evolves.  ...  This material is based upon work partially supported by the US National Science  ... 
doi:10.1145/2544173.2509551 fatcat:qv2hrwcimvftrfqcbzburstfiy

Climate Change Actions and Just Transition

2019 Chinese Journal of Urban and Environmental Studies  
Among the existing fault localization techniques, spectrum-based fault localization (SBFL) is one of the most widely studied techniques due to being lightweight.  ...  i.e., mutation) faults from 240 GitHub projects.  ...  Mutation-Based Fault Localization Besides spectrum-based and machine-learning-based fault localization, there is one category of approach utilizing mutation analysis [30] , [70] , [71] .  ... 
doi:10.1142/s2345748118500240 fatcat:x66duzcuengdllavmhgzlkpzzq

TAIC PART 2007 and Mutation 2007 special issue editorial

Mark Harman, Zheng Li, Phil McMinn, Jeff Offutt, John Clark
2009 Journal of Systems and Software  
In the paper by Abreu et al., diagnostic accuracy of spectrum-based fault localization is investigated.  ...  Spectrum-based fault localization involves keeping a record of program components executed in faulty and fault-free program runs, and then ranking potential fault locations by comparing each of the runs  ... 
doi:10.1016/j.jss.2009.06.028 fatcat:bejjjxyg7fbvzi6fzh3ze6zk54


Sridevi S, Golda Jeyasheeli .P
2010 International Journal on Information Sciences and Computing  
Also, fault tolerance is an essential part of the grid.  ...  Fault tolerance can be achieved in grids by Over provisioning and Check pointing techniques.  ...  They are used for both local and grid jobs.  ... 
doi:10.18000/ijisac.50078 fatcat:kbkaquyddffxphivrakr6hv2s4

A Genetic Algorithm-Based Approach for Composite Metamorphic Relations Construction

Zhenglong Xiang, Hongrun Wu, Fei Yu
2019 Information  
In this paper, a genetic algorithm-based approach is proposed to construct composite metamorphic relations automatically for the program to be tested.  ...  More importantly, the inferred composite MRs can increase the fault detection capabilities by at least 30 % more than the original metamorphic relations.  ...  Acknowledgments: We are grateful for the discussion and data collection by Xiongtao Xia. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/info10120392 fatcat:xwnlrja23nhctcop4dfaomqaqi

Spectrum-Based Fault Localization Framework to Support Fault Understanding

Yong WANG, Zhiqiu HUANG, Yong LI, RongCun WANG, Qiao YU
2019 IEICE transactions on information and systems  
In the framework, we firstly localize a suspicious fault module to start debugging and then generate a weighted fault propagation graph (WFPG) for the hypothesis fault module, which weights the suspiciousness  ...  for the nodes to further perform block-level fault localization.  ...  For instance, Shu [8] proposed and evaluated a novel method-level statistical fault localization technique, called MFL, which is based on causal inference.  ... 
doi:10.1587/transinf.2018edl8233 fatcat:f5qntreqd5dwjha7krlexcv4pq

In quest of the science in statistical fault localization

W. K. Chan, Yan Cai
2011 Software, Practice & Experience  
Like other researchers, we sometimes have made mistakes in the quest of making statistical fault localization both practical and scientific.  ...  Many researchers employ various statistical methods to locate faults in faulty programs.  ...  [5] for an alternate formulation). There are challenges in using such a graph for fault localization.  ... 
doi:10.1002/spe.1147 fatcat:ygvbfx62ebhk5glbftgj7webry


2015 Journal of Engineering Science and Technology  
Accordingly, the possible faults in OCL specification of the system has been anticipated by mutating its method based on OCL predicate-based fault classes.  ...  Formal specification-based testing has been used widely to assess potential faults or prove their absence in a given system at the earliest.  ...  Aichernig and Salas [13] implemented mutation testing approach for automatic test case generation from model-based specifications. In their work, anticipated faults were generated from OCL.  ... 
doaj:4a808bd0da7d4848bd7bc8dd4a8dd73a fatcat:xwa54picynbkzluyhodbtau23a
« Previous Showing results 1 — 15 out of 2,586 results