Discovering bugs in software towards quality of software is given paramount importance in research arena. Towards this end automatic test case generation became essential as manual test data generation and adding test oracles is tedious task. It is more so when there are no formal specifications to unearth the faults in test outcome. Therefore, it is important to generate representative test se...

Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and very expensive. Even determining the quality of software is not easy. Testing is by far the most used way to estimate the quality of software. Testing itself is not easy and time consuming. In order to reduce the costs...

Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and very expensive. Even determining the quality of software is not easy. Testing is by far the most used way to estimate the quality of software. Testing itself is not easy and time consuming. In order to reduce the costs...

The present paper investigates the categories of fbnctionality implemented by software in Automatic Test Systems and the programming paradigms that are commonly used for implementation. Building on the conclusions of this analysis, the paper proposes a combined development paradigm, where visual programming is used at diagnosis level, while both textual and visual languages are supported for im...

Expansion of computer systems and the increasing number of services provided by Internet has lead software engineers to worry about security issues of their software. The reason is the short amount of time dedicated to test these characteristics, which leads to release insecure software to final users. To ease this problem, the use of modelbased testing is becoming popular. Several works propos...

The use of techniques for automating the generation of software test cases is very important as it can reduce the time and cost of this process. The latest methods for automatic generation of tests use metaheuristic search techniques, i.e. Genetic Algorithms and Simulated Annealing. There is a great deal of research into the use of Genetic Algorithms to obtain a specific coverage in software te...

Formal Speciications become more and more important in the development of software, especially, but not only in the area of high integrity systems. Testing as a method to validate the functionality of a system against the speciication will keep its justiication also in a development process using formal speciications. We demonstrate, where the problems lie when carrying out software integration...

The domain of operating system reference manuals uses linguistic constructs that are difficult to process since many terms are similar and most concepts are abstract software engineering constructs. The SIFT system for automatic test generation from these documents uses a natural-languagebased formalism for software domain models. The formalism is based on the generative lexicon framework (Pust...

Most contemporary clinical reasoning tests typically assess non-automatic thinking. Therefore, a test is needed to measure automatic reasoning or pattern recognition, which has been largely neglected in clinical reasoning tests. The Puzzle Test (PT) is dedicated to assess automatic clinical reasoning in routine situations. This test has been introduced first in 2009 by Monajemi et al in the Oly...

One of the essential parts of the software development process is software testing as it ensures the delivery of a good quality and reliable software. Various techniques and algorithms have been developed to carry out the testing process. This paper deals with utility of the nature based algorithms namely Genetic Algorithm, Ant Colony Optimization algorithm and Artificial Bee Colony algorithm i...