This chapter discusses that the development of quantum applications typically incorporates
the development of quantum programs, classical programs, and workflows to orchestrate …

Test case generation is the most important part of the testing efforts, the automation of
specification based test case generation needs formal or semi-formal specifications. As a …

Model Driven Development (MDD) is a software engineering approach in which models
constitute the basic units of software development. A key part of MDD is the notion of …

This article presents a control flow analysis methodology based on UML 2.0 sequence
diagrams (SD). In contrast to the conventional code-based control flow analysis techniques …

Although a lot of research has been done in the field of state-based testing, the automatic
generation of test cases from a functional specification in the form of a state machine is not …

Component‐based development has emerged as a system engineering approach that
promises rapid software development with fewer resources. Yet, improved reuse and …

This work defines several control-flow coverage criteria for testing the interactions among a
set of collaborating objects. The criteria are based on UML sequence diagrams that are …

This work presents a parameterized framework for static and dynamic analysis of call chains
in Java components. Such analyses have a wide range of uses in tools for software …

In diesem Papier erläutern wir einige Probleme der Komponierung, Konfiguration und
Adaptierung von heterogenen Software-Komponenten. Einige bekannte Pattern können …

The application of metaheuristic search techniques in test data generation has been
extensively investigated in recent years. Most studies, however, have concentrated on the …