Function block diagram (FBD), a graphical modeling language for programmable logic
controllers, has been widely used to implement safety critical system software such as …

We introduce a new coverage measure, called the operational coverage, which is
customized to the usage profile (count spectrum) of the entities to be covered. Operational …

Test adequacy criteria are widely used to guide test creation. However, many of these
criteria are sensitive to statement structure or the choice of test oracle. This is because such …

Software bounded model checkers (BMC) are today powerful tools to perform verification at
unit level, but are not used at their potential in the safety critical context. One reason for this …

Structural coverage criteria have been proposed to measure the adequacy of testing efforts.
Indeed, in some domains—eg, critical systems areas—structural coverage criteria must be …

This paper focuses on challenges to automatic test suite generation from formal models of
software systems. Popular tools and methods and their limitations are discussed. Data …

Software analysis tools and techniques often leverage structural code coverage information
to reason about the dynamic behavior of software. Existing techniques instrument the code …

Home phoneline networking alliance (HPNA) 2.0 is a new standard for high-speed last-
meter networks, which utilizes home phone lines. HPNA 2.0 offers a data rate of between 4 …

Too often, programmers are under pressure to maximize their confidence in the correctness
of their code with a tight testing budget. Should they spend some of that budget on finding …

Test coverage information can be very useful for guiding testers in enhancing their test
suites to exercise possible uncovered entities and in deciding when to stop testing. Since …