Software Testing Verification & Reliability

Article	Citations
Automated black‐box testing of nominal and error scenarios in RESTful APIs	22
Search‐based crash reproduction using behavioural model seeding	15
testar – scriptless testing through graphical user interface	13
Sidereal: Statistical adaptive generation of robust locators for web testing	12
Empirical analysis of practitioners' perceptions of test flakiness factors	11
Model checking C++ programs	11
Automatically identifying potential regressions in the layout of responsive web pages	10
Comparing the effectiveness of capture and replay against automatic input generation for Android graphical user interface testing	10
Functional test generation from UI test scenarios using reinforcement learning for android applications	10
CSSG: A cost‐sensitive stacked generalization approach for software defect prediction	9
BUGSJS: a benchmark and taxonomy of JavaScript bugs	8
Effective automated repair of internationalization presentation failures in web applications using style similarity clustering and search‐based techniques	8
Generating and selecting resilient and maintainable locators for Web automated testing	7
Survey on test case generation, selection and prioritization for cyber‐physical systems	7
Metamorphic relation prioritization for effective regression testing	6
Testing of adaptive and context‐aware systems: approaches and challenges	6
Combinatorial methods for testing Internet of Things smart home systems	6
Improving test automation maturity: A multivocal literature review	5
TRANSMUT‐Spark: Transformation mutation for Apache Spark	4
How detrimental is coincidental correctness to coverage‐based fault detection and localization? An empirical study	4
Performance assessment based on stochastic differential equation and effort data for edge computing	4
An ensemble‐based predictive mutation testing approach that considers impact of unreached mutants	3
Special issue on new generations of UI testing	3
Assessing test suites of extended finite state machines against model‐ and code‐based faults	3
Effective grey‐box testing with partial FSM models	3

Combinatorial methods for dynamic gray‐box SQL injection testing	3
High‐coverage metamorphic testing of concurrency support in C compilers	3
Automated visual classification of DOM‐based presentation failure reports for responsive web pages	3
MuFBDTester: A mutation‐based test sequence generator for FBD programs implementing nuclear power plant software	3
An empirical study of Linespots: A novel past‐fault algorithm	3
Localizing software performance regressions in web applications by comparing execution timelines	2
Uncertainty quantification for deep neural networks: An empirical comparison and usage guidelines	2
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 faults	2
Entropy based enhanced particle swarm optimization on multi‐objective software reliability modelling for optimal testing resources allocation	2
A mapping study on mutation testing for mobile applications	2
HOTFUZ: Cost‐effective higher‐order mutation‐based fault localization	2
Combinatorial testing and model‐based testing	1
Verification algebra for multi‐tenant applications in VaaS architecture	1
	1
JUGE: An infrastructure for benchmarking Java unit test generators	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
On automation in software engineering	1
In vivo test and rollback of Java applications as they are	1
Cover Image	1
Towards using coupling measures to guide black‐box integration testing in component‐based systems	1
Fostering the diversity of exploratory testing in web applications	1
Automatic monitoring of service reliability for web applications: a simulation‐based approach	1
A failed proof can yield a useful test	1
Analysing the combination of cost reduction techniques in Android mutation testing	1
TimelyRep: Timing deterministic replay for Android web applications	1
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 methods	1
Effective fault localization and context‐aware debugging for concurrent programs	1
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)	1
A mutation framework for evaluating security analysis tools in IoT applications	1
Comprehensive evaluation of file systems robustness with SPIN model checking	1
The progress, challenges, and perspectives of directed greybox fuzzing	1
Adaptive or embedded software testing and mutation testing	1
Learning‐based mutant reduction using fine‐grained mutation operators	1
Deep neural network supervision and data flow testing	0
Issue Information	0
Issue Information	0
Delta4Ms: Improving mutation‐based fault localization by eliminating mutant bias	0
	0
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers	0
Issue Information	0
	0
On transforming model‐based tests into code: A systematic literature review	0
	0
Issue Information	0
	0
	0
Issue Information	0

Semantic‐aware two‐phase test case prioritization for continuous integration	0
	0
Editorial: Verification, reliability and performance	0
Conference Virtualization	0
Issue Information	0
Towards automatically identifying the co‐change of production and test code	0
	0
	0
Issue Information	0
Issue Information	0
	0
	0
Combinatorial testing and machine learning for automated test generation	0
Issue Information	0
Mutation testing optimisations using the Clang front‐end	0
Issue Information	0
	0
In vivo testing and integration of proving and testing	0
An investigation of distributed computing for combinatorial testing	0
	0
Issue Information	0
RATE: A model‐based testing approach that combines model refinement and test execution	0
	0
Issue Information	0
	0
Exploiting deep reinforcement learning and metamorphic testing to automatically test virtual reality applications	0
Fuzz testing for digital TV receivers and multitasking control software verification	0
GPU acceleration of finite state machine input execution: Improving scale and performance	0
Test environments for large‐scale software systems—An industrial study of intrinsic and extrinsic success factors	0
	0
Research on hyper‐level of hyper‐heuristic framework for MOTCP	0
Issue Information	0
Issue Information	0
Coloured Petri nets for abstract test generation in software engineering	0
On subsumption relationships in data flow testing	0
Combinatorial testing and model checking	0
Test case prioritization and mutation testing	0
RVprio: A tool for prioritizing runtime verification violations	0
	0
	0
Mutation analysis and its industrial applications	0
Issue Information	0
Issue Information	0
	0
	0
Metamorphic testing and test automation	0
Quality assurance for Internet of Things and speech recognition systems	0
Issue Information	0
Test infrastructure and environment	0
Tensor‐based gated graph neural network for automatic vulnerability detection in source code	0
Issue Information	0
	0
Special Issue: IEEE International Conference on Software Testing, Validation & Verification 2018	0
Model‐based testing, test case prioritization and testing of virtual reality applications	0
Erratum	0
Issue Information	0
Bud hunting with directed fuzz testing and source code vulnerability detection with advanced graph neural networks	0
Working Across Boundaries	0
Model‐based testing	0
Issue Information	0
Model checking, testing and debugging	0
Property generation/verification and empirical studies	0
Issue Information	0
OS‐in‐the‐Loop verification for multi‐tasking control software	0
	0
The IEEE 12th International Conference on Software Testing, Verification & Validation	0
Adversarial example‐based test case generation for black‐box speech recognition systems	0
	0
Issue Information	0
Farewell after an 11‐year journey as joint editor‐in‐chief	0
The integration of machine learning into automated test generation: A systematic mapping study	0
Remote embedded devices test framework on the cloud	0
	0
	0
Editorial: Testing, Debugging, and Defect Prediction	0
	0
Issue Information	0
Issue Information	0
Investigating the impact of transient hardware faults on deep learning neural network inference	0
	0

	0
HiRAM: A hierarchical risk assessment model and its implementation for an industrial Internet of Things in the cloud	0
Integration testing and metamorphic testing	0
Issue Information	0
	0
Issue Information	0
	0
Issue Information	0
Mutation analysis and its industrial applications	0
Issue Information	0
Issue Information	0