Learn More
Keywords: Fault localization Program debugging Code coverage Heuristics Suspiciousness of code Successful tests Failed tests a b s t r a c t Locating faults in a program can be very time-consuming and arduous, and therefore, there is an increased demand for automated techniques that can assist in the fault localization process. In this paper a code(More)
Existing techniques for testing an SDL specification mainly allow for either black box simulation or conformance testing to verify that the behavior of an implementation matches its corresponding model. However, this relies on the potentially hazardous assumption that the model is completely correct. We propose a test generation framework that can(More)
An embedded system has a hierarchical structure including hardware-dependent software layer, operating system layer, and applications layer. Since the system has interfaces between the different layers that are tightly coupled and interdependent to each other, these interfaces are the focal area to be tested. This paper proposes an Embedded System's(More)