Automatic extraction of assertions from execution traces of behavioural models.

Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli

Browse the full DATE paper archive.