Navigation ▼

Automatic Test Generation Based on Formal Specifications

Practical Procedures for Efficient State Space Exploration and Improved Representation of Test Cases

Dateien


Zusammenfassung



Das Dokument erscheint in: