InhaltsangabeIncremental Refinement Checking for Test Case Generation.- Time for Mutants - Model-...

This book teaches model-based analysis and model-based testing, with important new ways to write ...