Stores and shopping malls would like to keep track of shopper volume by employing
automatic techniques for counting shoppers. Existing approaches instrument doors with …

The development of safety-relevant systems in the automotive industry requires the
definition of high-quality requirements and tests for the coordination and monitoring of …

The rising complexity of automotive software makes it increasingly difficult to develop the
software with high quality in short time. Especially the late detection of early errors, such as …

Combinatorial coverage has been proposed as a way to measure the quality of test cases by
using the input interaction characteristics. This paper describes the results of empirically …

The authors present an initial wise development framework: a development environment
that proactively and interactively assists the software engineer in modeling complex reactive …

Even without the hardware layers that they are built upon, software systems are immensely
complex structures. The programmer must control this complexity in a way that allows for the …

Term ambiguity-the challenge of having multiple potential meanings for a keyword or phrase-
can be a major problem for search engines. Contextual information is essential for word …

Some scenario-based testing approaches propose to express a test suite as a regular
expression (called scenario or pattern). It specifies a set of valid sequences of operations in …

Scenario-based specification with the Scenario Modeling Language (SML) is an intuitive
approach for formally specifying the behavior of reactive systems. SML is close to how …

Implementing integration tests into to the manufacturing process of embedded devices is a
crucial development for dealing with component deviations and production flaws. Especially …