Jochen Kamischke

Learn More
Model-based behavioral specifications build the basis for comprehensive quality assurance techniques for complex software systems such as model checking and model-based testing. Various attempts exist to adopt those approaches to variant-rich applications as apparent in software product line engineering to efficiently analyze families of similar software(More)
  • 1