1 Introduction. - 1. 1 Motivation. - 1. 2 Exploiting Design Morphology. - 1. 3 Methodology. - 1. 4 Example. - 1. 5 Relationship to other work. - 1. 6 Overview. - 2 Reformulation. - 2. 1 Devices and Designs. - 2. 2 Reformulating Designs. - 2. 3 Design Correctness. - 2. 4 Automatically Reformulating Designs. - 2. 5 Manually Reformulating Designs. - 3 General Representation and Reasoning. - 3. 1 Requirements for a Design Description Language. - 3. 2 Syntax and Semantics for Predicate Calculus. - 3. 3 Describing Designs. - 3. 4 Automated Deduction. - 3. 5 Utility of General Representation and Reasoning. - 3. 5. 1 Advantages. - 3. 5. 2 Disadvantages. - 4 Test Generation. - 4. 1 Task Definition. - 4. 2 Previous Work. - 4. 3 The Saturn Test Generation System. - 5 Conclusion. - 5. 1 Summary of Key Ideas. - 5. 2 Further Work. - 5. 3 Implementation State. - A Printer Adapter Card. - B Tests for the Printer Adapter Card. Language: English