A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Fast Model-Based Fault Localisation with Test Suites
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
We describe a fast model-based fault localisation algorithm which, given a test suite, uses symbolic execution methods to fully automatically identify a small subset of program locations where genuine ...
Its performance is in line with recent alternative model-based fault localisation techniques, but narrows the location set further without rejecting any genuine repair locations where faults can be fixed ...
We describe a fast model-based fault localisation algorithm which, given a test suite, uses symbolic execution methods to fully automatically identify a small subset of program locations within which ( ...
doi:10.1007/978-3-319-21215-9_3
fatcat:es6ty7rn2bdtppa37kk3jisq3i
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs
2017
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We describe a fast model-based fault localisation algorithm that, given a test suite, uses symbolic execution methods to fully automatically identify a small subset of program locations where genuine program ...
Its performance is in line with recent alternative model-based fault localisation techniques, but narrows the location set further without rejecting any genuine repair locations where faults can be fixed ...
We also thank Eli Bendersky, author of the PyCParser, the Automated Software Testing Group at Beihang University for Hawk-Eye, and contributors to all downstream components and tools used in our work. ...
doi:10.1007/s10270-017-0612-y
fatcat:kxn4tpvlybbr5gztntqjvrm7hq
Ahead of Time Mutation Based Fault Localisation using Statistical Inference
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2019 pre-print arXiv:1902.09729v1 fatcat:4q2vt4p56nfkrba536eupsdihm
Mutation analysis can effectively capture the dependency between source code and test results. This has been exploited by Mutation Based Fault Localisation (MBFL) techniques. ...
We introduce SIMFL (Statistical Inference for Mutation-based Fault Localisation), an MBFL technique that allows users to perform the mutation analysis in advance before a failure is observed, allowing ...
Xuan and Monperrus [39] improve SBFL by creating more finegrained test cases based on individual assertions in the existing test suite. ...
arXiv:1902.09729v2
fatcat:xzh4v4avpnhkpkl5cdtcleu4ma
Doric: Foundations for Statistical Fault Localisation
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We present Doric, a new formal foundation for statistical fault localisation based on classical probability theory. ...
to interpret scores. cl handles fundamental fault scenarios that spectrum-based measures cannot and can also meaningfully identify causes with certainty. ...
Figure 3 : 3 Test Suite.
Figure 4 : 4 Causal Models.
Definition 3 . 1 . 31 Let T be a test suite and U a set of units. ...
arXiv:1810.00798v1
fatcat:457x6mh3fzfclodozs7vwzdhju
Fault current control methods for multi-terminal DC systems based on fault blocking converters
2018
The Journal of Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The analysis is based on simulations in PSCAD|EMTDC ™ with a converter model based on the CIGRÉ WG B4.57, which is enhanced for the use of full-bridge converters with fault current control schemes. ...
This study investigates the applicability of different control methods relying on full-bridge-based converters in combination with high-speed switches for a fast and selective separation of faulty line ...
Since the individual SM switching states and capacitor voltages of the converter are represented, the model is well suited for transient DC fault studies [7] . ...
doi:10.1049/joe.2018.0228
fatcat:np4mpcdka5g6bgs7yxvfs2s3ja
Evaluating Models for Model-Based Debugging
2008
2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
An empirical comparison is presented that investigates the relative accuracy of different models on a set of test programs and fault assumptions, showing that our abstract interpretation based model provides ...
We compare a range of model-based debugging techniques with other state-of-the-art automated debugging approaches and outline possible future developments in automatic debugging using model-based reasoning ...
programs, model-based fault localisation consistently achieves scores above 0.7. ...
doi:10.1109/ase.2008.23
dblp:conf/kbse/MayerS08
fatcat:uckvwytmx5axhfnkqd6czeqbrm
A Simple Condition Monitoring Method for Gearboxes Operating in Impulsive Environments
2020
Sensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
However, the vibration signals are often corrupted with non-Gaussian noise and rotating machines may operate under time-varying operating conditions. ...
The synchronous average of the squared envelope is a relatively simple yet effective method to perform fault detection, fault identification and fault trending under constant and time-varying operating ...
to deteriorate fast due to the localised increase in stress [8] . ...
doi:10.3390/s20072115
pmid:32283650
fatcat:fffvq4dvnbayvpqkyyx6oa56yq
Short-time Fourier and wavelet transforms for fault detection in power transformers during impulse tests
1998
IEE Proceedings - Science Measurement and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Results from simulation studies are presented wherein the fault condition is modelled as a fast decaying transient superposed on the neutral current. ...
The neutral and/or capacitively transferred currents which are recorded during an impulse test can be directly analysed with this approach. ...
Conclusions A new approach based on time-frequency analysis of signals has been proposed, for analysing the neutral currents directly, for fault diagnosis during impulse tests on power transformers. ...
doi:10.1049/ip-smt:19981576
fatcat:n4ltxuvn2bgstieahiwvokjyl4
Resilient Navigation through Probabilistic Modality Reconfiguration
[chapter]
2013
Advances in Intelligent Systems and Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The robot is shown to reach its goal in the presence of: 1) unpredicted control errors, 2) unexpected map errors and 3) a large injected localisation fault. ...
While the robot navigates, a Hidden Markov Model continually estimates the most appropriate modality based on two types of information: context (information known a priori) and monitoring (evaluating unpredictable ...
Injected Localisation Fault In this experiment, a significant localisation fault was artificially created by introducing a sudden and unexpected offset of 1m to the output of the localisation estimator ...
doi:10.1007/978-3-642-33932-5_8
fatcat:jzhrcqbxurbgbcoke2vbfeiaiq
Regression testing minimization, selection and prioritization: a survey
2012
Software testing, verification & reliability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Problem: Find a subset of T , T , with which to test P . ...
Test case prioritisation seeks to order test cases in such a way that early fault detection is maximised. ...
Yu et al. considered the effect of test suite minimisation on fault localisation [181] . ...
doi:10.1002/stv.430
fatcat:kg5sgywm4jfqjl5eiz6ols6x4a
Introduction to the STAF 2015 special section
2018
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The second extended version is the article Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs by Geoff Birch, Bernd Fischer, and Michael Poppleton ...
It describes a model-based fault localization algorithm based on symbolic execution. ...
doi:10.1007/s10270-018-0686-1
fatcat:ilcphfxxyng5dcsksvan6vsiyu
Fault localisation for WS-BPEL programs based on predicate switching and program slicing
2018
Journal of Systems and Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Case studies were conducted to investigate the effectiveness of the proposed technique, which was compared with predicate switching only, slicing only, and one existing fault localisation technique, namely ...
In our pre-28 vious work [4], we presented a block-based fault lo-29 calisation framework for WS-BPEL programs, and syn-30 thesised the three well-known spectrum-based fault lo-31 calisation techniques ...
how 714 fast a fault localisation technique can be. ...
doi:10.1016/j.jss.2017.10.030
fatcat:gwd42giibreg7hlp5y5gs7wqpy
Goal-Oriented Mutation Testing with Focal Methods
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Mutation testing is the state-of-the-art technique for assessing the fault-detection capacity of a test suite. ...
method, instead of the usually verified overall test suite quality. ...
Motivation Finding the root cause of a fault is not an easy task, an entire field of study is dedicated specifically to this problem. One solution is spectrum-based fault localisation. ...
arXiv:1807.10953v1
fatcat:2higrbogefh5xlsecheet3345u
Combinatorial Interaction Testing for Automated Constraint Repair
2017
2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Our technique can be used to detect and fix faults both in the model and in the real software system. ...
However, a model of the system's configurations not conforming with respect to its software implementation, must be repaired in order to restore conformance. ...
Ghandehari for her assistance in the use of BEN and Paolo Vavassori for help with the experiments. ...
doi:10.1109/icstw.2017.44
dblp:conf/icst/GargantiniPR17
fatcat:kx437bb3cbh5zjgjm4jlt6dd4y
Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection
2015
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Our results show that GA is competitive only for pairwise testing for subjects with a small number of constraints. ...
Simulated Annealing (SA) and Greedy Algorithms have been widely used to find CIT test suites. ...
ACKNOWLEDGMENTS [20] which provided the source code and fault data for the seven programs used in the empirical studies reported. ...
doi:10.1109/tse.2015.2421279
fatcat:l775altg7vhm3e6mabd7t2oola
« Previous
Showing results 1 — 15 out of 3,690 results