Software Testing Verification & Reliability

Papers
(The TQCC of Software Testing Verification & Reliability is 1. 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 2021-06-01 to 2025-06-01.)
ArticleCitations
Issue Information34
In vivo testing and integration of proving and testing18
Farewell after an 11‐year journey as joint editor‐in‐chief13
Issue Information10
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation9
Research on hyper‐level of hyper‐heuristic framework for MOTCP8
8
Fault tolerance and metamorphic relation prediction8
An empirical study of Linespots: A novel past‐fault algorithm7
Issue Information6
Search‐Based MC/DC Test Data Generation With OCL Constraints6
Combinatorial testing and model‐based testing6
Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study5
Adaptive or embedded software testing and mutation testing5
Combinatorial methods for dynamic gray‐box SQL injection testing5
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines5
Metamorphic relation prioritization for effective regression testing4
4
Fuzz testing for digital TV receivers and multitasking control software verification4
Issue Information4
Issue Information4
Mutation‐Guided Metamorphic Testing of Optimality in AI Planning3
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)3
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers3
Issue Information3
3
Model‐based testing3
3
Issue Information3
Issue Information2
Learning‐based mutant reduction using fine‐grained mutation operators2
Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations2
SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach2
Issue Information2
Issue Information2
Effective fault localization and context‐aware debugging for concurrent programs2
Automated black‐box testing of nominal and error scenarios in RESTful APIs2
DNN Testing, Regression Testing and Software Reliability Prediction2
Mutation testing optimisations using the Clang front‐end2
2
High‐coverage metamorphic testing of concurrency support in C compilers2
Integration testing and metamorphic testing2
Improving Web Element Localization by Using a Large Language Model1
On subsumption relationships in data flow testing1
Deep neural network supervision and data flow testing1
DialTest‐EA: An Enhanced Fuzzing Approach With Energy Adjustment for Dialogue Systems via Metamorphic Testing1
1
Automated Game Testing With Online Search Agent and Model Construction, a Study1
MetaSem: metamorphic testing based on semantic information of autonomous driving scenes1
Comprehensive evaluation of file systems robustness with SPIN model checking1
Issue Information1
Issue Information1
Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias1
MRGS‐ART: Metamorphic Relation and Group Selection Based on Adaptive Random Testing1
1
Issue Information1
Model‐based testing, test case prioritization and testing of virtual reality applications1
1
Combinatorial testing and machine learning for automated test generation1
Documentation‐based functional constraint generation for library methods1
Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults1
JUGE: An infrastructure for benchmarking Java unit test generators1
0.14362096786499