Mobile apps are ubiquitous, operate in complex environments and are developed under the
time-to-market pressure. Ensuring their correctness and reliability thus becomes an …

Abstract Context: Software Testing is a costly activity since the size of the test case set tends
to increase as the construction of the software evolves. Test Case Prioritization (TCP) can …

Random testing (RT) is a well-studied testing method that has been widely applied to the
testing of many applications, including embedded software systems, SQL database systems …

Certificate validation in SSL/TLS implementations is critical for Internet security. There is
recent strong effort, namely frankencert, in automatically synthesizing certificates for stress …

Abstract Test Case Prioritization reduces the cost of software testing by executing earlier the
subset of test cases showing higher priorities. The methodology consists of ranking test …

The topic of test case prioritization has been researched extensively in the past decade.
However, current researches carried out on test case prioritization are mainly concerned …

This paper considers the model-based software reliability evaluation using the information
on software testing inputs. Concretely, we define the distance between two software test …

Software Testing is a costly activity since the size of the test case set tends to increase as the
construction of the software evolves. Test Case Prioritization (TCP) can reduce the effort and …

Test Case Prioritization reduces the cost of software testing by executing earlier the subset
of test cases showing higher priorities. The methodology consists of ranking test cases so …