Statistical Model Checking for Product Lines.

Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin

Browse the full ISoLA paper archive.