A systematic review on search based mutation testing
Abstract Context Search Based Software Testing refers to the use of meta-heuristics for the
optimization of a task in the context of software testing. Meta-heuristics can solve complex …
optimization of a task in the context of software testing. Meta-heuristics can solve complex …
An analysis and survey of the development of mutation testing
Mutation Testing is a fault-based software testing technique that has been widely studied for
over three decades. The literature on Mutation Testing has contributed a set of approaches …
over three decades. The literature on Mutation Testing has contributed a set of approaches …
Design methodology for intelligent technical systems
J Gausemeier, FJ Rammig, W Schäfer - Lecture Notes in Mechanical …, 2014 - Springer
The Collaborative Research Centre 614" Self-Optimizing Concepts and Structures in
Mechanical Engineering", funded from 2002 to 2013 by the German Research Foundation …
Mechanical Engineering", funded from 2002 to 2013 by the German Research Foundation …
Constrained random verification for RISC-V: overview, evaluation and discussion
S Ahmadi-Pour, V Herdt… - MBMV 2021; 24th …, 2021 - ieeexplore.ieee.org
RISC-V is a modern open and free Instruction Set Architecture (ISA) that is designed in a
very modular way and enables to integrate custom instruction extensions in order to build …
very modular way and enables to integrate custom instruction extensions in order to build …
[图书][B] Enhanced Virtual Prototyping for Heterogeneous Systems
The successful co-design and verification of secure multi-disciplinary heterogeneous
systems-on-chips (SOCs) with tight interactions between hardware/software (HW/SW) …
systems-on-chips (SOCs) with tight interactions between hardware/software (HW/SW) …
Quantifying information flow for dynamic secrets
A metric is proposed for quantifying leakage of information about secrets and about how
secrets change over time. The metric is used with a model of information flow for …
secrets change over time. The metric is used with a model of information flow for …
Computing reliability: On the differences between software testing and software fault injection techniques
Abstract System reliability has become a main concern during the computer-based system
design process. It is one of the most important characteristics of the system quality. The …
design process. It is one of the most important characteristics of the system quality. The …
Mantra: Mutation Testing of Hardware Design Code Based on Real Bugs
J Wu, Y Lei, Z Zhang, X Meng, D Yang… - 2023 60th ACM/IEEE …, 2023 - ieeexplore.ieee.org
Mutation testing, a well-suited technology for functional validation, is regrettably poorly
studied in hardware. We propose Mantra: the first open-source code-level mutation testing …
studied in hardware. We propose Mantra: the first open-source code-level mutation testing …
Application of machine learning techniques in post-silicon debugging and bug localization
E El Mandouh, AG Wassal - Journal of Electronic Testing, 2018 - Springer
As the size of hardware (HW) design increases significantly, a huge amount of data is
generated during the design simulation, emulation or prototyping. Debugging large HW …
generated during the design simulation, emulation or prototyping. Debugging large HW …