Test oracle methods have changed significantly over time, which has resulted in clear shifts
in the research literature. Over the years, the testing techniques, strategies, and criteria …

Embedded software often involves intensive numerical computations and suffers from a
number of runtime errors. The technique of numerical static analysis is of practical …

Timing analysis is a key step in the design of dependable real-time embedded systems, yet
existing analysis tools do not work well for interrupt-driven code, which is commonly used in …

Wireless Sensor Networks (WSNs) form a critical component in modern computing
applications; given their size, ability to process and communicate information, and to sense …

This paper proposes a new timed model named nested timed automata (NeTAs). A NeTA is
a pushdown system whose stack symbols are timed automata (TAs). It either behaves as the …

Modern multiprocessing embedded applications require, in many cases, two different
environments on the same platform: one that meets real-time requirements and another one …

Embedded software often involves intensive numerical computations and thus can contain a
number of numerical runtime errors. The technique of numerical static analysis is of practical …

Embedded systems tend to be interrupt-driven, yet the presence of interrupts can affect
system dependability because there can be delays in servicing interrupts. Such delays can …

As embedded systems permeate an ever-widening circle of safety-and mission-critical
applications, robust testing of embedded software remains of paramount importance. Yet …

Type systems and model checking are two prevalent approaches to program verification. A
prominent difference between them is that type systems are typically defined in a syntactic …