A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Filters
A scalable software-based self-test methodology for programmable processors
2003
Proceedings of the 40th conference on Design automation - DAC '03
Preserved Fulltext
improvements in fault coverage and test length compared with conventional functional test. ...
Software-based self-test (SBST) is an emerging approach to address the challenges of high-quality, at-speed test for complex programmable processors and systems-on chips (SoCs) that contain them. ...
We believe that the proposed SBST methodology is an important step towards realizing the potential of SBST for realistic programmable processors. • The potential for improvement in fault coverage by observing ...
doi:10.1145/775972.775973
fatcat:kmm24tr7jjc3nlpitzz63kzhpe
A scalable software-based self-test methodology for programmable processors
2003
Proceedings of the 40th conference on Design automation - DAC '03
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 2005; you can also visit the original URL.
The file type is application/pdf.
improvements in fault coverage and test length compared with conventional functional test. ...
Software-based self-test (SBST) is an emerging approach to address the challenges of high-quality, at-speed test for complex programmable processors and systems-on chips (SoCs) that contain them. ...
We believe that the proposed SBST methodology is an important step towards realizing the potential of SBST for realistic programmable processors. • The potential for improvement in fault coverage by observing ...
doi:10.1145/775832.775973
dblp:conf/dac/ChenRRD03
fatcat:o4xpg2w3hjhi3kmitlgvmaob4y
On Covering Structural Defects in NoCs by Functional Tests
2014
2014 IEEE 23rd Asian Test Symposium
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 2017; you can also visit the original URL.
The file type is application/pdf.
It can be applied for any structural fault type as it relies on a generalized structural fault model. ...
Structural tests provide high defect coverage by considering the low-level circuit details. ...
Stefan Holst for helpful discussions. ...
doi:10.1109/ats.2014.27
dblp:conf/ats/DalirsaniHIESRW14
fatcat:v5stv47qinastntpu63kez6wj4
Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection
2019
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE)
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.
In this paper, based on software fault injection, we propose a new fuzzing approach named FIZZER, to test error handling code in device drivers. ...
During driver execution, by analyzing runtime information, it automatically fuzzes error-site sequences for fault injection to improve code coverage. ...
For example, AFEX [43] uses a fitness-guided and feedback-based algorithm to search for high-impact faults in a fault space. ...
doi:10.1109/issre.2019.00022
dblp:conf/issre/JiangBL019
fatcat:xhnjoxocmvaxdjbvtxaefi24iq
Determined-Safe Faults Identification: A step towards ISO26262 hardware compliant designs
2020
2020 IEEE European Test Symposium (ETS)
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.
By deploying code coverage and Formal verification techniques, our methodology enables the classification of faults that are unclassified by other technologies, improving ISO26262 compliance. ...
Our results, in combination with Fault Simulation, achieved a Diagnostic Coverage of 93% in a CAN Controller. These figures allow an initial assessment for an ASIL B configuration of the IP. ...
ACKNOWLEDGMENT This research was supported by project RESCUE funded from the European Union's Horizon 2020 research and innovation programme under the Marie Sklodowaska-Curie grant agreement No 722325. ...
doi:10.1109/ets48528.2020.9131568
dblp:conf/ets/SilvaBSCRH020
fatcat:t5rhoky6sffcxfurfiq3a7xtaq
Hardware-in-the-Loop-Based Real-Time Fault Injection Framework for Dynamic Behavior Analysis of Automotive Software Systems
2022
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 2022; you can also visit the original URL.
The file type is application/pdf.
Simulation-based fault injection (FI) is a recently developed approach to simulate the system behavior in the presence of faults at an early stage of system development. ...
With the objective of covering most of the potential faults, nine different types of sensor and actuator control signal faults are injected programmatically into the HiL system as single and multiple faults ...
simulations Poon et al. [51] Simulation-based FI and hardware-based FI HiL design and testing for electric vehicle drive systems Single Three fault types Yes Low manual effort Low fault coverage High ...
doi:10.3390/s22041360
pmid:35214269
pmcid:PMC8963027
fatcat:xjsbdpdxxbhmnjtsozxbxcdfj4
Towards API Testing Across Cloud and Edge
[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 2021; you can also visit the original URL.
The file type is application/pdf.
feedback and AI based search algorithms. ...
., API input parameters, order of API execution, and network faults. ...
Based on the feedback of test results, faults, and drifts in API call patterns, under-the-hood AI based search techniques are applied to generate new test scenarios for execution to maximize coverage of ...
arXiv:2109.02540v1
fatcat:otqvq7ksa5hcxpxmfgvwsfgkeq
Software Testing for Machine Learning
2020
PROCEEDINGS OF THE THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE TWENTY-EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE
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
Software verification and testing are established technique for assuring such properties, for example by detecting errors. ...
The paper provides a research agenda with elaborated directions for making progress toward advancing the state-of-the-art on testing of machine learning. ...
DeepMutation first designs a set of mutation operators to inject faults into training data. ...
doi:10.1609/aaai.v34i09.7084
fatcat:77qy7777nrc4zbofd3pasfjhsi
Compiler-Directed Soft Error Mitigation for Embedded Systems
2012
IEEE Transactions on Dependable and Secure 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 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a compiler-based methodology for facilitating the design of fault-tolerant embedded systems. ...
At the same time, for large segments of embedded markets, parameters like cost and performance continue to be as important as reliability. ...
Notice that the high fault coverage results obtained for the unprotected versions is due to the fact that the fault injection test was performed over the complete register file, even though the programs ...
doi:10.1109/tdsc.2011.54
fatcat:72lpyhcoi5eozhneoj3cth74wa
Testing embedded memories in telecommunication systems
1999
IEEE Communications Magazine
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.
Moreover, strict reliability constraints usually impose very low fault latencies and a high degree of fault detection for both permanent and transient faults. ...
Extensive system testing is mandatory nowadays to achieve high ABSTRACT product quality. ...
The strict reliability constraints usually impose very low fault latency and a high degree of fault detection of both permanent and transient faults. ...
doi:10.1109/35.769279
fatcat:5ruaizf4kjhgfj2dkhaoyjxfcq
Experimental Resilience Assessment of An Open-Source Driving Agent
[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.
Other Versions
To increase the coverage of unsafe scenarios during testing, we use a strategic software fault-injection approach where the triggers for injecting the faults are derived from the unsafe scenarios identified ...
conditions and faults affecting sensor data. ...
DeepXplore [5] and DeepTest [6] focused on maximizing neuron coverage to generate perturbed images to test deep learning based algorithms. ...
arXiv:1807.06172v2
fatcat:qnmll65zavgptgv5jddt3rjjiq
Magma: A Ground-Truth Fuzzing Benchmark
[article]
2020
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
High scalability and low running costs have made fuzz testing the de facto standard for discovering software bugs. ...
By introducing real bugs into real software, Magma allows for realistic evaluation of fuzzers against a broad set of targets. ...
We therefore apply survival analysis to account for this missing data and high variation in bug discovery times. ...
arXiv:2009.01120v1
fatcat:5uskgzhfnjhejask3ymynh6sha
Model-based fault injection for testing gray-box systems
2019
Journal of Logical and Algebraic Methods in Programming
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.
Systematic modelling and testing is possible by having comprehensive fault models which both simulate faults and guide the model-based testing procedure towards quicker discovery of these faults. ...
Citation for the original published paper (version of record): Mostowski, W. (2019) Model-based fault injection for testing gray-box systems The Journal of logical and algebraic methods in programming, ...
We would also like to thank the anonymous reviewers for very detailed remarks about this work. ...
doi:10.1016/j.jlamp.2018.10.003
fatcat:6ftkevgtn5bfxba5ekepih2axu
Defining and Measuring Policy Coverage in Testing Access Control Policies
[chapter]
2006
Lecture Notes in Computer Science
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 2008; you can also visit the original URL.
The file type is application/pdf.
Our experimental results show that the coverage-based test reduction can substantially reduce the size of generated requests and incur only relatively low loss on fault detection. ...
To evaluate coverage-based request reduction and its effect on fault detection, we have conducted an experiment with mutation testing on a set of real policies. ...
An ideal request set should have a low test count, high structural coverage, and high fault-detection capability. ...
doi:10.1007/11935308_11
fatcat:xhjh77ws3nh35jwbvj2x367b3q
Design of a Realistic Test Simulator For a Built-In Self Test Environment
2010
The Journal of Engineering Research
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 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a realistic test approach suitable to Design For Testability (DFT) and Built- In Self Test (BIST) environments. ...
Thereby, it is a low cost tool and hence economical. The tool is very much suitable for determining realistic test sequences for a targeted goal of testing for any SUT. ...
Acknowledgments The acknowledgments are due to Sultan Qaboos University (Sultanate of Oman) for providing research support grant (SQU-DVC/ PSR/RAID/2010/23). ...
doi:10.24200/tjer.vol7iss2pp69-79
fatcat:t6byh2h4wzgvbi5ccunn52flr4
« Previous
Showing results 1 — 15 out of 4,239 results