Automated Software Testing

TL;DR: An algorithm to detect relations that may exist between a pair of rules, including cause-effect, mutual exclusion, redundancy, conflict, subsumption, implication and unnecessary condition, is presented.

TL;DR: The centralized SQTL is to empower QE during the testing cycle, help them to achieve a greater level of software quality in minimum time, effort and cost, and decrease defect density metric.

TL;DR: The proposed framework detects anomalies in the manufacturing process of RAN using convolutional neural networks and data-driven thresholds, improving testing efficiency and accuracy.

TL;DR: This paper utilizes the significance of three centrality measures of a graph - Betweenness, Closeness and Degree of node in prioritizing the test cases and proposes an Importance Factor which may serve as a basis for test case prioritization.

TL;DR: The results show that the ACS outperforms other nature-inspired algorithms such as simulated annealing and evolutionary computation, and it is concluded comparing ACS-3-opt, a version of the ACS augmented with a local search procedure, to some of the best performing algorithms for symmetric and asymmetric TSPs.

TL;DR: Technical foundations introduction software reliability and system reliability the operational profile software reliability modelling survey model evaluation and recalibration techniques practices and experiences and best current practice of SRE software reliability measurement experience.

TL;DR: The notion of adequacy criteria is examined together with its role in software dynamic testing and the methods for comparison and assessment of criteria are reviewed.

TL;DR: The fundamental problems in testing finite state machines and techniques for solving these problems are reviewed, tracing progress in the area from its inception to the present and the stare of the art is traced.