OOIR: Observatory of International Research

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-08-01 to 2026-08-01.)

Article	Citations
	18
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation	16
Fault tolerance and metamorphic relation prediction	16
Issue Information	13
Issue Information	11
Research on hyper‐level of hyper‐heuristic framework for MOTCP	10
In vivo testing and integration of proving and testing	10
	9
Search‐Based MC/DC Test Data Generation With OCL Constraints	9
Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study	9
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines	8
Issue Information	7
Fuzz testing for digital TV receivers and multitasking control software verification	7
	6
Issue Information	6
Tempus: An Evolutionary Mutation Testing System on Event‐Based Systems With Profile‐Based Individual Generation	6
Mutation‐Guided Metamorphic Testing of Optimality in AI Planning	5
Issue Information	4
Issue Information	4
SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach	4
	4
DNN Testing, Regression Testing and Software Reliability Prediction	4
Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations	4
PSC‐SBFL: Combining PSC With SBFL to Improve Software Fault Localization	4
Model‐based testing	4

Issue Information	3
Issue Information	3
Issue Information	3
	3
On subsumption relationships in data flow testing	3
HGA: Heuristic Black‐Box Test Case Generation for NLP Intelligent Software	3
Mutation testing optimisations using the Clang front‐end	3
Issue Information	3
Model‐based testing, test case prioritization and testing of virtual reality applications	2
Issue Information	2
Issue Information	2
Combinatorial testing and machine learning for automated test generation	2
Improving Web Element Localization by Using a Large Language Model	2
Deep neural network supervision and data flow testing	2
	1
Rebalancing Software Defect Datasets via Mutation: Performance Insights From Prediction Models Based on Software Measures	1
MetaSem: metamorphic testing based on semantic information of autonomous driving scenes	1
Automated Feature Extraction for Testing Deep Learning Systems Through Illumination Search	1
	1
Test code evolution and mutation testing	1
	1
Vulnerability Detection in AI‐Generated and Human‐Written Code of Multiple Programming Languages With Structured Learning	1
Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias	1
	1
Mutation analysis and its industrial applications	1
A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams	1
Tensor‐based gated graph neural network for automatic vulnerability detection in source code	1
	1
Issue Information	1
Automated Game Testing With Online Search Agent and Model Construction, a Study	1
JUGE: An infrastructure for benchmarking Java unit test generators	1
DialTest‐EA: An Enhanced Fuzzing Approach With Energy Adjustment for Dialogue Systems via Metamorphic Testing	1
MRGS‐ART: Metamorphic Relation and Group Selection Based on Adaptive Random Testing	1
Mobile Open‐Source Software Reliability Growth Model Based on Extended Weibull Distribution and Introduced Faults With Multiple Change‐Points	1
Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults	1
Issue Information	1
Tracing Service Request Processing in Cloud	0
Issue Information	0
	0
A Systematic Exploration of Mutation‐Based Fault Localization Formulae	0
On transforming model‐based tests into code: A systematic literature review	0
	0
	0
Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks	0
A Mutation‐Score–Guided Test Case Generation Framework for Deep Neural Networks	0
An Approach of Structure‐Enhanced Code‐Centric Graph Learning for Just‐in‐Time Software Vulnerability Detection	0
	0
Issue Information	0
A new perspective on the competent programmer hypothesis through the reproduction of real faults with repeated mutations	0
	0

	0
	0
Adversarial example‐based test case generation for black‐box speech recognition systems	0
SegTest: Metamorphic Testing of Image Segmentation via Guided Instance‐Level Test Data Augmentation	0
	0
Issue Information	0
Ensuring the Correctness and Reliability of CBPS System Using Event‐B	0
Metamorphic Relation Patterns for Metamorphic Testing, Exploration and Robustness	0
	0
Issue Information	0
Metamorphic Testing and Web Element Localization	0
Investigating the impact of transient hardware faults on deep learning neural network inference	0
Generation of Regression Tests From Logs With Clustering Guided by Usage Patterns	0
Test environments for large‐scale software systems—An industrial study of intrinsic and extrinsic success factors	0
Issue Information	0
Semantic‐aware two‐phase test case prioritization for continuous integration	0
Test infrastructure and environment	0
Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators	0
Issue Information	0
	0
Issue Information	0
	0
An investigation of distributed computing for combinatorial testing	0
Exploring the Interaction of Code Coverage and Non‐Coverage Objectives in Search‐Based Test Generation	0
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems	0
In vivo test and rollback of Java applications as they are	0
Issue Information	0
The progress, challenges, and perspectives of directed greybox fuzzing	0
RATE: A model‐based testing approach that combines model refinement and test execution	0
	0
Ensuring Syntactic Interoperability Using Consumer‐Driven Contract Testing	0
DSKIPP: A Prompt Method to Enhance the Reliability in LLMs for Java API Recommendation Task	0
OS‐in‐the‐Loop verification for multi‐tasking control software	0
	0
A Systematic Mapping Study of the Metrics, Uses and Subjects of Diversity‐Based Testing Techniques	0
	0
Issue Information	0
MFLog: Log Sequence Anomaly Detection via Multifeature Extraction	0
	0
A Literature Review of Software Testing Practices and Frameworks in the Video Gaming Industry	0
HiRAM: A hierarchical risk assessment model and its implementation for an industrial Internet of Things in the cloud	0
Coloured Petri nets for abstract test generation in software engineering	0
Software Reliability Prediction by Adaptive Gated Recurrent Unit‐Based Encoder‐Decoder Model With Ensemble Empirical Mode Decomposition	0
	0
Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications	0
Investigating fault injection techniques in hardware‐based deep neural networks and mutation‐based fault localization	0
Towards automatically identifying the co‐change of production and test code	0
Multigranularity Coverage Criteria for Deep Learning Libraries	0
Issue Information	0
Issue Information	0
A failed proof can yield a useful test	0
Issue Information	0
A Comprehensive Formal Specification of ARINC 653 With Conformity Proof	0
Test case prioritization and mutation testing	0
Combinatorial testing and model checking	0
	0
Enhancing Mutation Testing Efficiency: A Comparative Study of Machine Learning Models for Equivalent Mutant Identification	0
Boosting Metamorphic Relation Prediction via Code Representation Learning: An Empirical Study	0
	0
Validity Matters: Uncertainty‐Guided Testing of Deep Neural Networks	0
	0
Metamorphic Testing on Scientific Programs for Solving Second‐Order Elliptic Differential Equations	0
Issue Information	0
Mutation analysis and its industrial applications	0
The integration of machine learning into automated test generation: A systematic mapping study	0
Unsafe code detection in Rust and metamorphic testing of autonomous driving systems	0
When GUI‐Based Testing of Web Applications Meets Code Review	0
Quality assurance for Internet of Things and speech recognition systems	0
Traceable Metamorphic Test Cases for Robust Safety‐Critical Systems: A Deep Learning LiDAR Object Detector Example	0
Issue Information	0