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
In vivo testing and integration of proving and testing8
Search‐Based MC/DC Test Data Generation With OCL Constraints8
Research on hyper‐level of hyper‐heuristic framework for MOTCP8
7
Combinatorial methods for dynamic gray‐box SQL injection testing7
Combinatorial testing and model‐based testing7
Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study7
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
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines6
Issue Information5
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
4
4
Mutation‐Guided Metamorphic Testing of Optimality in AI Planning4
Metamorphic relation prioritization for effective regression testing4
Issue Information4
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
Issue Information3
Model‐based testing3
High‐coverage metamorphic testing of concurrency support in C compilers3
Issue Information3
On subsumption relationships in data flow testing3
2
Comprehensive evaluation of file systems robustness with SPIN model checking2
Issue Information2
Issue Information2
Issue Information2
Mutation testing optimisations using the Clang front‐end2
Model‐based testing, test case prioritization and testing of virtual reality applications2
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
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
Issue Information0
Test environments for large‐scale software systems—An industrial study of intrinsic and extrinsic success factors0
0
Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators0
Issue Information0
Test case prioritization and mutation testing0
On transforming model‐based tests into code: A systematic literature review0
0
The integration of machine learning into automated test generation: A systematic mapping study0
An investigation of distributed computing for combinatorial testing0
RATE: A model‐based testing approach that combines model refinement and test execution0
SegTest: Metamorphic Testing of Image Segmentation via Guided Instance‐Level Test Data Augmentation0
0
Mutation analysis and its industrial applications0
0
Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks0
0
Exploring the Interaction of Code Coverage and Non‐Coverage Objectives in Search‐Based Test Generation0
Issue Information0
Validity Matters: Uncertainty‐Guided Testing of Deep Neural Networks0
Issue Information0
A Systematic Mapping Study of the Metrics, Uses and Subjects of Diversity‐Based Testing Techniques0
Investigating fault injection techniques in hardware‐based deep neural networks and mutation‐based fault localization0
0
0
Quality assurance for Internet of Things and speech recognition systems0
HiRAM: A hierarchical risk assessment model and its implementation for an industrial Internet of Things in the cloud0
Issue Information0
Investigating the impact of transient hardware faults on deep learning neural network inference0
TRANSMUT‐Spark: Transformation mutation for Apache Spark0
Issue Information0
Coloured Petri nets for abstract test generation in software engineering0
0
Tracing Service Request Processing in Cloud0
0
A failed proof can yield a useful test0
0
OS‐in‐the‐Loop verification for multi‐tasking control software0
Enhancing Mutation Testing Efficiency: A Comparative Study of Machine Learning Models for Equivalent Mutant Identification0
0
0
The progress, challenges, and perspectives of directed greybox fuzzing0
Towards automatically identifying the co‐change of production and test code0
0
Ensuring Syntactic Interoperability Using Consumer‐Driven Contract Testing0
A Comprehensive Formal Specification of ARINC 653 With Conformity Proof0
0
Metamorphic Testing on Scientific Programs for Solving Second‐Order Elliptic Differential Equations0
Issue Information0
Metamorphic Relation Patterns for Metamorphic Testing, Exploration and Robustness0
Ensuring the Correctness and Reliability of CBPS System Using Event‐B0
Boosting Metamorphic Relation Prediction via Code Representation Learning: An Empirical Study0
A new perspective on the competent programmer hypothesis through the reproduction of real faults with repeated mutations0
Improving test automation maturity: A multivocal literature review0
Issue Information0
MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software0
0
Test code evolution and mutation testing0
Semantic‐aware two‐phase test case prioritization for continuous integration0
Test infrastructure and environment0
Software Reliability Prediction by Adaptive Gated Recurrent Unit‐Based Encoder‐Decoder Model With Ensemble Empirical Mode Decomposition0
Multigranularity Coverage Criteria for Deep Learning Libraries0
Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications0
0
Issue Information0
0
Issue Information0
Generation of Regression Tests From Logs With Clustering Guided by Usage Patterns0
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems0
Combinatorial testing and model checking0
0
Issue Information0
Issue Information0
Adversarial example‐based test case generation for black‐box speech recognition systems0
0
In vivo test and rollback of Java applications as they are0
A Literature Review of Software Testing Practices and Frameworks in the Video Gaming Industry0
Effective grey‐box testing with partial FSM models0
Issue Information0
Issue Information0
Issue Information0
Towards using coupling measures to guide black‐box integration testing in component‐based systems0
DSKIPP: A Prompt Method to Enhance the Reliability in LLMs for Java API Recommendation Task0
Issue Information0
0
MFLog: Log Sequence Anomaly Detection via Multifeature Extraction0
Unsafe code detection in Rust and metamorphic testing of autonomous driving systems0
A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams0
Issue Information0
Tensor‐based gated graph neural network for automatic vulnerability detection in source code0
Fostering the diversity of exploratory testing in web applications0
A Systematic Exploration of Mutation‐Based Fault Localization Formulae0
Metamorphic Testing and Web Element Localization0
Metamorphic testing and test automation0
0
0.05671501159668