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 2020-03-01 to 2024-03-01.)
ArticleCitations
Automated black‐box testing of nominal and error scenarios in RESTful APIs22
Search‐based crash reproduction using behavioural model seeding15
testar – scriptless testing through graphical user interface13
Sidereal: Statistical adaptive generation of robust locators for web testing12
Model checking C++ programs11
Empirical analysis of practitioners' perceptions of test flakiness factors11
Functional test generation from UI test scenarios using reinforcement learning for android applications10
Automatically identifying potential regressions in the layout of responsive web pages10
Comparing the effectiveness of capture and replay against automatic input generation for Android graphical user interface testing10
CSSG: A cost‐sensitive stacked generalization approach for software defect prediction9
Effective automated repair of internationalization presentation failures in web applications using style similarity clustering and search‐based techniques8
BUGSJS: a benchmark and taxonomy of JavaScript bugs8
Survey on test case generation, selection and prioritization for cyber‐physical systems7
Generating and selecting resilient and maintainable locators for Web automated testing7
Testing of adaptive and context‐aware systems: approaches and challenges6
Combinatorial methods for testing Internet of Things smart home systems6
Metamorphic relation prioritization for effective regression testing6
Improving test automation maturity: A multivocal literature review5
Performance assessment based on stochastic differential equation and effort data for edge computing4
TRANSMUT‐Spark: Transformation mutation for Apache Spark4
How detrimental is coincidental correctness to coverage‐based fault detection and localization? An empirical study4
Automated visual classification of DOM‐based presentation failure reports for responsive web pages3
MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software3
An empirical study of Linespots: A novel past‐fault algorithm3
An ensemble‐based predictive mutation testing approach that considers impact of unreached mutants3
Special issue on new generations of UI testing3
Assessing test suites of extended finite state machines against model‐ and code‐based faults3
Effective grey‐box testing with partial FSM models3
Combinatorial methods for dynamic gray‐box SQL injection testing3
High‐coverage metamorphic testing of concurrency support in C compilers3
A mapping study on mutation testing for mobile applications2
HOTFUZ: Cost‐effective higher‐order mutation‐based fault localization2
Localizing software performance regressions in web applications by comparing execution timelines2
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines2
Can operational profile coverage explain post‐release bug detection?2
Choosing the fitness function for the job: Automated generation of test suites that detect real faults2
Entropy based enhanced particle swarm optimization on multi‐objective software reliability modelling for optimal testing resources allocation2
TimelyRep: Timing deterministic replay for Android web applications1
Editorial for the special issue of STVR on the 10th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2017)1
Documentation‐based functional constraint generation for library methods1
Effective fault localization and context‐aware debugging for concurrent programs1
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)1
A mutation framework for evaluating security analysis tools in IoT applications1
Comprehensive evaluation of file systems robustness with SPIN model checking1
The progress, challenges, and perspectives of directed greybox fuzzing1
Adaptive or embedded software testing and mutation testing1
Learning‐based mutant reduction using fine‐grained mutation operators1
Combinatorial testing and model‐based testing1
Verification algebra for multi‐tenant applications in VaaS architecture1
1
JUGE: An infrastructure for benchmarking Java unit test generators1
Statically driven generation of concurrent tests for thread‐safe classes1
A fuzzing‐based test‐creation approach for evaluating digital TV receivers via transport streams1
On automation in software engineering1
In vivo test and rollback of Java applications as they are1
Cover Image1
Towards using coupling measures to guide black‐box integration testing in component‐based systems1
Fostering the diversity of exploratory testing in web applications1
Automatic monitoring of service reliability for web applications: a simulation‐based approach1
A failed proof can yield a useful test1
Analysing the combination of cost reduction techniques in Android mutation testing1
0.02147912979126