Software Testing Verification & Reliability

Papers
(The median citation count of Software Testing Verification & Reliability is 0. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-01-01 to 2026-01-01.)
ArticleCitations
39
Fault tolerance and metamorphic relation prediction15
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation13
Farewell after an 11‐year journey as joint editor‐in‐chief13
Issue Information11
Issue Information9
Research on hyper‐level of hyper‐heuristic framework for MOTCP8
In vivo testing and integration of proving and testing8
Search‐Based MC/DC Test Data Generation With OCL Constraints8
Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study7
7
Combinatorial methods for dynamic gray‐box SQL injection testing7
Combinatorial testing and model‐based testing7
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines6
Fuzz testing for digital TV receivers and multitasking control software verification6
Tempus: An Evolutionary Mutation Testing System on Event‐Based Systems With Profile‐Based Individual Generation6
Issue Information5
4
4
Mutation‐Guided Metamorphic Testing of Optimality in AI Planning4
Metamorphic relation prioritization for effective regression testing4
Issue Information4
4
Issue Information4
PSC‐SBFL: Combining PSC With SBFL to Improve Software Fault Localization4
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)4
Issue Information3
Model‐based testing3
High‐coverage metamorphic testing of concurrency support in C compilers3
Issue Information3
On subsumption relationships in data flow testing3
Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations3
Automated black‐box testing of nominal and error scenarios in RESTful APIs3
SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach3
DNN Testing, Regression Testing and Software Reliability Prediction3
Issue Information3
Integration testing and metamorphic testing3
Mutation testing optimisations using the Clang front‐end2
Model‐based testing, test case prioritization and testing of virtual reality applications2
2
Comprehensive evaluation of file systems robustness with SPIN model checking2
Issue Information2
Issue Information2
Issue Information2
Combinatorial testing and machine learning for automated test generation1
Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias1
Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults1
DialTest‐EA: An Enhanced Fuzzing Approach With Energy Adjustment for Dialogue Systems via Metamorphic Testing1
1
Improving Web Element Localization by Using a Large Language Model1
Deep neural network supervision and data flow testing1
Issue Information1
1
MRGS‐ART: Metamorphic Relation and Group Selection Based on Adaptive Random Testing1
MetaSem: metamorphic testing based on semantic information of autonomous driving scenes1
JUGE: An infrastructure for benchmarking Java unit test generators1
Automated Game Testing With Online Search Agent and Model Construction, a Study1
1
Mutation analysis and its industrial applications1
RVprio: A tool for prioritizing runtime verification violations1
Quality assurance for Internet of Things and speech recognition systems0
Issue Information0
0
Investigating the impact of transient hardware faults on deep learning neural network inference0
HiRAM: A hierarchical risk assessment model and its implementation for an industrial Internet of Things in the cloud0
Multigranularity Coverage Criteria for Deep Learning Libraries0
TRANSMUT‐Spark: Transformation mutation for Apache Spark0
Issue Information0
0
0
A failed proof can yield a useful test0
Tracing Service Request Processing in Cloud0
Generation of Regression Tests From Logs With Clustering Guided by Usage Patterns0
Enhancing Mutation Testing Efficiency: A Comparative Study of Machine Learning Models for Equivalent Mutant Identification0
0
The progress, challenges, and perspectives of directed greybox fuzzing0
0
0
Ensuring Syntactic Interoperability Using Consumer‐Driven Contract Testing0
Towards automatically identifying the co‐change of production and test code0
Adversarial example‐based test case generation for black‐box speech recognition systems0
Metamorphic Testing on Scientific Programs for Solving Second‐Order Elliptic Differential Equations0
A Comprehensive Formal Specification of ARINC 653 With Conformity Proof0
A Literature Review of Software Testing Practices and Frameworks in the Video Gaming Industry0
Ensuring the Correctness and Reliability of CBPS System Using Event‐B0
Issue Information0
Metamorphic Relation Patterns for Metamorphic Testing, Exploration and Robustness0
Improving test automation maturity: A multivocal literature review0
Towards using coupling measures to guide black‐box integration testing in component‐based systems0
A new perspective on the competent programmer hypothesis through the reproduction of real faults with repeated mutations0
0
0
MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software0
Semantic‐aware two‐phase test case prioritization for continuous integration0
Test code evolution and mutation testing0
Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications0
Test infrastructure and environment0
Software Reliability Prediction by Adaptive Gated Recurrent Unit‐Based Encoder‐Decoder Model With Ensemble Empirical Mode Decomposition0
Metamorphic testing and test automation0
0
Issue Information0
0
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems0
Issue Information0
Issue Information0
Combinatorial testing and model checking0
Issue Information0
0
Issue Information0
0
Effective grey‐box testing with partial FSM models0
In vivo test and rollback of Java applications as they are0
RATE: A model‐based testing approach that combines model refinement and test execution0
Issue Information0
Issue Information0
Mutation analysis and its industrial applications0
Issue Information0
Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks0
DSKIPP: A Prompt Method to Enhance the Reliability in LLMs for Java API Recommendation Task0
Unsafe code detection in Rust and metamorphic testing of autonomous driving systems0
Issue Information0
MFLog: Log Sequence Anomaly Detection via Multifeature Extraction0
Issue Information0
A Systematic Mapping Study of the Metrics, Uses and Subjects of Diversity‐Based Testing Techniques0
A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams0
Fostering the diversity of exploratory testing in web applications0
Tensor‐based gated graph neural network for automatic vulnerability detection in source code0
Issue Information0
A Systematic Exploration of Mutation‐Based Fault Localization Formulae0
Metamorphic Testing and Web Element Localization0
0
Coloured Petri nets for abstract test generation in software engineering0
Issue Information0
Test environments for large‐scale software systems—An industrial study of intrinsic and extrinsic success factors0
0
Test case prioritization and mutation testing0
Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators0
The integration of machine learning into automated test generation: A systematic mapping study0
On transforming model‐based tests into code: A systematic literature review0
OS‐in‐the‐Loop verification for multi‐tasking control software0
SegTest: Metamorphic Testing of Image Segmentation via Guided Instance‐Level Test Data Augmentation0
An investigation of distributed computing for combinatorial testing0
0
0
0
0
0
Exploring the Interaction of Code Coverage and Non‐Coverage Objectives in Search‐Based Test Generation0
0
Issue Information0
Issue Information0
Validity Matters: Uncertainty‐Guided Testing of Deep Neural Networks0
0
Boosting Metamorphic Relation Prediction via Code Representation Learning: An Empirical Study0
Investigating fault injection techniques in hardware‐based deep neural networks and mutation‐based fault localization0
0.090309858322144