Model-Based Testing and Model Inference.

Karl Meinke, Neil Walkinshaw

Browse the full ISoLA paper archive.