OOIR: Observatory of International Research

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 2020-11-01 to 2024-11-01.)

Article	Citations
Automated black‐box testing of nominal and error scenarios in RESTful APIs	27
testar – scriptless testing through graphical user interface	20
Sidereal: Statistical adaptive generation of robust locators for web testing	18
Empirical analysis of practitioners' perceptions of test flakiness factors	13
Model checking C++ programs	13
Generating and selecting resilient and maintainable locators for Web automated testing	12
CSSG: A cost‐sensitive stacked generalization approach for software defect prediction	11
Metamorphic relation prioritization for effective regression testing	9
Testing of adaptive and context‐aware systems: approaches and challenges	7
Effective grey‐box testing with partial FSM models	7
Survey on test case generation, selection and prioritization for cyber‐physical systems	7
Automated visual classification of DOM‐based presentation failure reports for responsive web pages	7
JUGE: An infrastructure for benchmarking Java unit test generators	6
Entropy based enhanced particle swarm optimization on multi‐objective software reliability modelling for optimal testing resources allocation	6
Combinatorial methods for testing Internet of Things smart home systems	6
Improving test automation maturity: A multivocal literature review	6
Performance assessment based on stochastic differential equation and effort data for edge computing	6
Combinatorial methods for dynamic gray‐box SQL injection testing	6
How detrimental is coincidental correctness to coverage‐based fault detection and localization? An empirical study	5
TRANSMUT‐Spark: Transformation mutation for Apache Spark	4
An ensemble‐based predictive mutation testing approach that considers impact of unreached mutants	4
Assessing test suites of extended finite state machines against model‐ and code‐based faults	4
The progress, challenges, and perspectives of directed greybox fuzzing	4
MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software	3
High‐coverage metamorphic testing of concurrency support in C compilers	3

Special issue on new generations of UI testing	3
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines	3
An empirical study of Linespots: A novel past‐fault algorithm	3
A failed proof can yield a useful test	2
In vivo test and rollback of Java applications as they are	2
Coloured Petri nets for abstract test generation in software engineering	2
Learning‐based mutant reduction using fine‐grained mutation operators	2
HOTFUZ: Cost‐effective higher‐order mutation‐based fault localization	2
Choosing the fitness function for the job: Automated generation of test suites that detect real faults	2
A mapping study on mutation testing for mobile applications	2
Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias	1
Comprehensive evaluation of file systems robustness with SPIN model checking	1
Analysing the combination of cost reduction techniques in Android mutation testing	1
Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017)	1
Towards using coupling measures to guide black‐box integration testing in component‐based systems	1
Perception simplex: Verifiable collision avoidance in autonomous vehicles amidst obstacle detection faults	1
	1
Fostering the diversity of exploratory testing in web applications	1
Model‐based testing, test case prioritization and testing of virtual reality applications	1
Improving Web Element Localization by Using a Large Language Model	1
Adaptive or embedded software testing and mutation testing	1
Combinatorial testing and model‐based testing	1
GPU acceleration of finite state machine input execution: Improving scale and performance	1
Towards automatically identifying the co‐change of production and test code	1
Investigating the impact of transient hardware faults on deep learning neural network inference	1
A mutation framework for evaluating security analysis tools in IoT applications	1
Statically driven generation of concurrent tests for thread‐safe classes	1
A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams	1
Documentation‐based functional constraint generation for library methods	1
Cover Image	1
Verification algebra for multi‐tenant applications in VaaS architecture	1
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)	1
The integration of machine learning into automated test generation: A systematic mapping study	1