Abstract Context Search Based Software Testing refers to the use of meta-heuristics for the
optimization of a task in the context of software testing. Meta-heuristics can solve complex …

What the experts have to say about Model-Based Testing for Embedded Systems:" This
book is exactly what is needed at the exact right time in this fast-growing area. From its …

The testing is an integral part of the software development. At the same time, the manual
creation of individu-al test cases is a lengthy and error-prone process. Hence, an intensive …

We present an extension of traditional" black box" fuzz testing using a genetic algorithm
based upon a dynamic Markov model fitness heuristic. This heuristic allows us to" …

This paper studies the whitebox coverage and fault detection achieved by Output
Uniqueness, a newly proposed blackbox test criterion, using 6 web applications. We find …

Testing is an important means of quality management and is widely used in industrial
practice. Model-based functional testing is focussed on comparing the system under test to a …

Relational database management systems (RDMBSs) today are the predominant
technology for storing. In the past few years, the” one size fits all “-thinking concerning …

As the complexity of software is increasing, generating an effective test data has become a
necessity. This necessity has increased the demand for techniques that can generate test …

Formal concept analysis has seldom been employed for classification. This is mainly due to
(1) the high time and space complexity of concept lattice construction, and (2) the difficulty of …

The complexity of software has been increasing in the past few years, and software testing
as a most intensive factor is becoming more and more expensive. Testing costs often …