The rigorous application of static timing analysis requires a large and costly amount of detail
knowledge on the hardware and software components of the system. Probabilistic Timing …

Model based testing is a system testing technique used to test software systems modeled by
formal description languages, eg, an extended finite state machine (EFSM). System models …

During regression testing, a modified system is retested using the existing test suite.
Because the size of the test suite may be very large, testers are interested in detecting faults …

Test case prioritization involves scheduling test cases in an order that increases the
effectiveness in achieving some performance goals. One of the most important performance …

Face annotation technology is important for a photo management system. In this paper, we
propose a novel interactive face annotation framework combining unsupervised and …

Integration testing has always been a challenge especially if the system under test is large
with many subsystems and interfaces. This paper proposes an approach to design End-to …

During regression testing, a modified system needs to be retested using the existing test
suite. Since test suites may be very large, developers are interested in detecting faults in the …

Changing customer needs and computer technology are the driving factors influencing
software evolution. There is a need to assess the impact of these changes on existing …

During regression testing, a modified system needs to beretested using the existing test
suite. Since test suites may be very large, developers are interested in detecting faults in the …

Modern vehicles become increasingly digitalized with advanced information technology-
based solutions like advanced driving assistance systems and vehicle-to-x communications …