Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation.

Emine Gokce Aydal, Richard F. Paige, Jim Woodcock

Browse the full ICST paper archive.