Many software production processes advocate rigorous development testing alongside
functional code writing, which implies that both test code and production code should co …

Our experience with applying model-based testing on industrial systems showed that the
generated test suites are often too large and costly to execute given project deadlines and …

An image segmentation algorithm delineates (an) object (s) of interest in an image. Its output
is referred to as a segmentation. Developing these algorithms is a manual, iterative process …

Buffer overflow vulnerabilities are program defects that can cause a buffer to overflow at
runtime. Many security attacks exploit buffer overflow vulnerabilities to compromise critical …

In this paper, we present algorithms for preset and adaptive homing experiments for a given
observable reduced nondeterministic finite state machine (NFSM). We show that the tight …

Software Testing is one of the most important parts of the software development lifecycle.
Testing effectiveness can be achieved by the State Transition Testing (STT) and path testing …

Development, testing and maintenance of software for embedded systems is a complex task.
Analysis of the traceability between different software artifacts (eg, source code, test code …

In a previous article, a stress testing methodology was reported to detect network traffic‐
related Real‐Time (RT) faults in distributed RT systems based on the design UML model of …

Software testing is the most visible and cost-consuming activity in assuring the quality of
software systems. In today's large-scale software systems, test (suite) maintenance is an …

Sulley, one of fuzzing tools can describe Software Under Test (SUT) more easily than other
tools and provides with the libraries which can create the variety of test cases. But it has a …