Software Testing Verification & Reliability

Article	Citations
	39
Fault tolerance and metamorphic relation prediction	14
Research on hyper‐level of hyper‐heuristic framework for MOTCP	12
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation	10
Farewell after an 11‐year journey as joint editor‐in‐chief	10
Issue Information	9
Search‐Based MC/DC Test Data Generation With OCL Constraints	8
In vivo testing and integration of proving and testing	8
Issue Information	8
Combinatorial testing and model‐based testing	7
Configuration Testing of an Artificial Pancreas System Using a Digital Twin: An Evaluative Case Study	6
	6
Issue Information	6
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines	6
Fuzz testing for digital TV receivers and multitasking control software verification	5
Tempus: An Evolutionary Mutation Testing System on Event‐Based Systems With Profile‐Based Individual Generation	5
Combinatorial methods for dynamic gray‐box SQL injection testing	5
	4
Issue Information	4
Issue Information	4
Issue Information	4
	4
Metamorphic relation prioritization for effective regression testing	4
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)	4
Mutation‐Guided Metamorphic Testing of Optimality in AI Planning	3

Automated black‐box testing of nominal and error scenarios in RESTful APIs	3
SafeNet: Towards mitigating replaceable unsafe Rust code via a recommendation‐based approach	3
Issue Information	3
Boosting Multimode Ruling in DHR Architecture With Metamorphic Relations	3
High‐coverage metamorphic testing of concurrency support in C compilers	3
DNN Testing, Regression Testing and Software Reliability Prediction	3
Integration testing and metamorphic testing	3
PSC‐SBFL: Combining PSC With SBFL to Improve Software Fault Localization	3
Issue Information	3
Model‐based testing	3
	3
Issue Information	2
Improving Web Element Localization by Using a Large Language Model	2
Comprehensive evaluation of file systems robustness with SPIN model checking	2
On subsumption relationships in data flow testing	2
Mutation testing optimisations using the Clang front‐end	2
Issue Information	2
Issue Information	2
Issue Information	2
	2
Model‐based testing, test case prioritization and testing of virtual reality applications	2
DialTest‐EA: An Enhanced Fuzzing Approach With Energy Adjustment for Dialogue Systems via Metamorphic Testing	1
RVprio: A tool for prioritizing runtime verification violations	1
	1
Deep neural network supervision and data flow testing	1
JUGE: An infrastructure for benchmarking Java unit test generators	1
Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults	1
MRGS‐ART: Metamorphic Relation and Group Selection Based on Adaptive Random Testing	1
	1
	1
MetaSem: metamorphic testing based on semantic information of autonomous driving scenes	1
Issue Information	1
Mutation analysis and its industrial applications	1
A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams	1
MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software	1
Automated Game Testing With Online Search Agent and Model Construction, a Study	1
Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias	1
Combinatorial testing and machine learning for automated test generation	1
Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators	0
Metamorphic testing and test automation	0
Adversarial example‐based test case generation for black‐box speech recognition systems	0
	0
	0
OS‐in‐the‐Loop verification for multi‐tasking control software	0
SegTest: Metamorphic Testing of Image Segmentation via Guided Instance‐Level Test Data Augmentation	0
TRANSMUT‐Spark: Transformation mutation for Apache Spark	0
	0
Metamorphic Testing on Scientific Programs for Solving Second‐Order Elliptic Differential Equations	0
A mapping study on mutation testing for mobile applications	0
Combinatorial methods for testing Internet of Things smart home systems	0

Metamorphic Relation Patterns for Metamorphic Testing, Exploration and Robustness	0
Issue Information	0
	0
A new perspective on the competent programmer hypothesis through the reproduction of real faults with repeated mutations	0
A Literature Review of Software Testing Practices and Frameworks in the Video Gaming Industry	0
A Comprehensive Formal Specification of ARINC 653 With Conformity Proof	0
Ensuring the Correctness and Reliability of CBPS System Using Event‐B	0
Issue Information	0
	0
Unsafe code detection in Rust and metamorphic testing of autonomous driving systems	0
Issue Information	0
HiRAM: A hierarchical risk assessment model and its implementation for an industrial Internet of Things in the cloud	0
A mutation framework for evaluating security analysis tools in IoT applications	0
	0
Metamorphic Testing and Web Element Localization	0
Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications	0
Issue Information	0
Towards automatically identifying the co‐change of production and test code	0
Investigating the impact of transient hardware faults on deep learning neural network inference	0
Enhancing Mutation Testing Efficiency: A Comparative Study of Machine Learning Models for Equivalent Mutant Identification	0
Issue Information	0
Issue Information	0
	0
Combinatorial testing and model checking	0
Exploring the Interaction of Code Coverage and Non‐Coverage Objectives in Search‐Based Test Generation	0
Generation of Regression Tests From Logs With Clustering Guided by Usage Patterns	0
Validity Matters: Uncertainty‐Guided Testing of Deep Neural Networks	0
	0
	0
Effective grey‐box testing with partial FSM models	0
Investigating fault injection techniques in hardware‐based deep neural networks and mutation‐based fault localization	0
	0
Issue Information	0
Issue Information	0
Mutation analysis and its industrial applications	0
HOTFUZ: Cost‐effective higher‐order mutation‐based fault localization	0
Issue Information	0
A Systematic Mapping Study of the Metrics, Uses and Subjects of Diversity‐Based Testing Techniques	0
In vivo test and rollback of Java applications as they are	0
	0
MFLog: Log Sequence Anomaly Detection via Multifeature Extraction	0
Issue Information	0
Property generation/verification and empirical studies	0
Test code evolution and mutation testing	0
	0
Test environments for large‐scale software systems—An industrial study of intrinsic and extrinsic success factors	0
	0
Issue Information	0
Issue Information	0
Coloured Petri nets for abstract test generation in software engineering	0
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems	0
The progress, challenges, and perspectives of directed greybox fuzzing	0
	0
The integration of machine learning into automated test generation: A systematic mapping study	0
	0
Multigranularity Coverage Criteria for Deep Learning Libraries	0
Issue Information	0
On transforming model‐based tests into code: A systematic literature review	0
Quality assurance for Internet of Things and speech recognition systems	0
Issue Information	0
A Systematic Exploration of Mutation‐Based Fault Localization Formulae	0
An investigation of distributed computing for combinatorial testing	0
	0
	0
Issue Information	0
Boosting Metamorphic Relation Prediction via Code Representation Learning: An Empirical Study	0
	0
Model checking, testing and debugging	0
Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks	0
DSKIPP: A Prompt Method to Enhance the Reliability in LLMs for Java API Recommendation Task	0
Issue Information	0
Ensuring Syntactic Interoperability Using Consumer‐Driven Contract Testing	0
Issue Information	0
RATE: A model‐based testing approach that combines model refinement and test execution	0
Issue Information	0
Improving test automation maturity: A multivocal literature review	0
Towards using coupling measures to guide black‐box integration testing in component‐based systems	0
Tensor‐based gated graph neural network for automatic vulnerability detection in source code	0
	0
Test infrastructure and environment	0

Software Reliability Prediction by Adaptive Gated Recurrent Unit‐Based Encoder‐Decoder Model With Ensemble Empirical Mode Decomposition	0
Semantic‐aware two‐phase test case prioritization for continuous integration	0
A failed proof can yield a useful test	0
	0
Fostering the diversity of exploratory testing in web applications	0
Test case prioritization and mutation testing	0
Tracing Service Request Processing in Cloud	0
	0
	0